Programme


The following programme is preliminary and subject to changes

Tuesday, September 12


Wednesday, September 13

 08:00 - 09:00
Registration Desk
 09:00 - 10:00Keynote: 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