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 |