The program is tentative and may undergo changes. The majority of the time will be spent working in small groups, discussing specific topics or sets of open problems.
All times are British Summer Time (BST).
| Wednesday, 21 April | ||
| 11:00–11:15 | Welcome and opening remarks | |
| 11:15–12:15 | Unifying keynote talk: Automata for Profit and Pleasure + Q&A Sven Schewe | |
| 12:30–14:00 | Lunch break | |
| 14:30–15:15 | Introduction of participants | |
| 15:15–16:00 | Talk: Data-driven Learning for Verification and Control
+ Q&A Alessandro Abate | |
| 16:00–16:30 | Break | |
| 16:30–17:15 | Talk: Pareto analysis and approximation in stochastic and timed systems + Q&A Mahsa Shirmohammadi | |
| 17:15–18:00 | Open problems session | |
| Thursday, 22 April | ||
| 9:30–10:15 | Talk: Program synthesis and applications to cyber-physical systems + Q&A Cristina David | |
| 10:15–11:00 | Talk:Trusted Autonomous Systems: Verification Meets Falsification + Q&A Sergiy Bogomolov | |
| 11:00–11:30 | Break | |
| 11:30–12:15 | Open problems session and forming working groups | |
| 12:30–14:00 | Lunch break | |
| 14:30–16:00 | Discussion in working groups | |
| 16:00–16:30 | Break | |
| 16:30–18:00 | Discussion in working groups | |
| Friday, 23 April | ||
| 9:30–11:00 | Discussion in working groups | |
| 11:00–11:30 | Break | |
| 11:30–12:15 | Discussion in working groups | |
| 12:30–14:00 | Lunch break | |
| 14:30–16:00 | Discussion in working groups | |
| 16:00–16:30 | Conclusion and outlook | |