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 | Symbolic control of incrementally stable systems
Antoine Girard
On Under-Determined Dynamical Systems
Oded Maler
|
Thursday 18 April
| 09:00 | Robust control for timed systems
Patricia Bouyer-Decitre
|
| 10:10 | Coffee |
| 10:40 | Energy and Mean-payoff games: extensions and variations
Jean-Francois Raskin
Knowledge for achieving distributed control
Susanne Graf
|
| 11:50 | Lunch |
| 13:10 | |
| 14:55 | Coffee |
| 15:25 | Verification of a safety certified controller at ABB
Thomas Thelin, ABB
|
| 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 | Mining Temporal Requirements of an Industrial-Scale Control System
Jyotirmoy Deshmukh
Towards Verified Real-World Systems
Gernot Heiser, University of New South Wales
|
| 11:50 | Lunch |
| 12:45 | Group Discussions |
| 13:10 | Group Presentation |
| 13:45 | Challenges in applying formal verification and contract-based methodology in industrial applications
Alberto Ferrari, ALES/UTC
|
| 14:20 | Coffee |
| 14:40 |
Tools Demo Session
|
| 16:00 | Final remarks - end of the workshop |