LTH-image

Workshop Program

Some photos from the event

 

Tuesday, 16 April

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

Wednesday, 17 April

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

Thursday 18 April

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

Friday 19 April

09:00
10:10 Coffee
10:40
11:50 Lunch
12:45 Group Discussions
13:10 Group Presentation
13:45
14:20 Coffee
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:00 Final remarks - end of the workshop