lunduniversity.lu.se

Denna sida på svenska This page in English

Workshop Program

Some photos from the event

 

Tuesday, 16 April

17:00-19:00Welcoming reception and registration at the Pufendorf Institute, Biskopsgatan 3 (map)

Wednesday, 17 April

08:30Registration at the Old Bishop's Palace at Biskopsgatan 1 in Lund
09:00Opening  - Karl-Erik Årzén
09:15
10:25Coffee
10:55
12:05Lunch
13:00Group Discussions
13:30Group Presentation
14:00
15:10Coffee
15:40

Thursday 18 April

09:00
10:10Coffee
10:40
11:50Lunch
13:10
14:55Coffee
15:25
  
17:30Buses leave from Bangatan (green arrow on map)
18:30Symposium Dinner at Turning Torso, Malmö

Friday 19 April

09:00
10:10Coffee
10:40
  
Towards Verified Real-World Systems
Gernot Heiser, University of New South Wales
 
11:50Lunch
12:45Group Discussions
13:10Group Presentation
13:45
14:20Coffee
14:40

Tools Demo Session

  • UPPAAL - Kim G. Larsen
  • GameTime - Sanjit A. Seshia
  • CoSyMA - Antoine Girard
  • PRISM - Moritz Hahn
  • IQC Beta - Anders Rantzer
  • KeYmaera - Nikos Aréchiga
  • SpaceEx: the State-space explorer - Oded Maler
  • Modest - Holger Hermanns
 
16:00Final remarks - end of the workshop
Page Manager: