The following programme is preliminary and subject to changes
Wednesday, September 13
| 08:00 - 09:00 | Registration Desk |
| 09:00 - 10:00 | Keynote: From Documents to Models: Towards Digital Continuity by Marcel Verhoef |
| 10:00 - 10:30 | Cffee Break |
| 10:30 - 12:30 | Joint IMBSA/SAFECOMP Session IMBSA Session SAFECOMP Session 1: Dynamic Fault Trees |
| 12:30 - 14:00 | Lunch Break |
| 14:00 - 15:30 | Session 2: Safety Case |
| 15:30 - 16:00 | Coffee Break |
| 16:00 - 17:30 | Session 3: Formal Verification |
Thursday, September 14
| 08:00 - 09:00 | Registration desk |
| 09:00 - 10:00 | Keynote: Safety of Autonomy: Challenges and Strategies by John McDermid |
| 10:00 - 10:30 | Coffee Break |
| 10:30 - 12:30 | Session 4: Autonomous Systems |
| 12:30 - 14:00 | Lunch Break |
| 14:00 - 14:30 | EWICS |
| 14:30 - 16:00 | Session 5: Static Analysis and Testing |
| | Conference Dinner |
Friday, September 15
| 08:00 - 09:00 | Registration desk |
| 09:00 - 10:00 | Keynote: CPS/IoT: Drivers of the Next IT Revolution by Radu Grosu |
| 10:00 - 10:30 | Coffee Break |
| 10:30 - 12:30 | Session 6: Safety Analysis |
| 12:30 - 14:00 | Lunch Break |
| 14:00 - 15:30 | Session 7: Safety and Security |
| 15:30 - 16:00 | Closing |
| |