Tuesday, September 12
08:00 - 09:00 | Registration Desk |
09:00 - 10:30 | Workshops Session |
10:30 - 11:00 | Coffee Break |
11:00 - 12:30 | Workshops Session |
12:30 - 13:30 | Lunch |
13:30 - 15:30 | Workshops Session |
15:30 - 16:00 | Coffee Break |
16:00 - 18:00 | Workshops Session |
18:00 | Social Event: Workshops Aperitivo at Grand Hotel Trento |
Wednesday, September 13
08:00 - 08:45 | Registration Desk |
08:45 - 09:00 | Welcome Note |
09:00 - 10:00 | Keynote: From Documents to Models: Towards Digital Continuity by Marcel Verhoef (session chair: Alessandro Cimatti) |
10:00 - 10:30 | Coffee Break |
10:30 - 12:30 | Joint IMBSA/SAFECOMP Session (session chair: Jean-Paul Blanquart) IMBSA Session
|
12:30 - 14:00 | Lunch Break |
14:00 - 15:30 | Session 2: Safety Case (session chair: Ewen Denney)
|
15:30 - 16:00 | Coffee Break |
16:00 - 17:30 | Session 3: Formal Verification (session chair: Joost-Pieter Katoen)
|
18:30 | Social Event: Conference Welcome Reception at Castello Buonconsiglio |
Thursday, September 14
08:00 - 09:00 | Registration desk |
09:00 - 10:00 | Keynote: Safety of Autonomy: Challenges and Strategies by John McDermid (session chair: Tullio Vardanega) |
10:00 - 10:30 | Coffee Break |
10:30 - 12:30 | Session 4: Autonomous Systems (session chair: Elena Troubitsyna)
|
12:30 - 14:00 | Lunch Break |
14:00 - 14:30 | EWICS |
14:30 - 16:00 | Session 5: Static Analysis and Testing (session chair: Francesca Saglietti)
|
17:30 - 19:00 | Guided Tour of Trento |
Social Event: Conference Dinner at Imperial Grand Hotel in Levico Terme Buses leave at 19:15 from Grand Hotel Dinner at 20:00 in Levico Terme |
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 (session chair: Erwin Schoitsch) |
10:00 - 10:30 | Coffee Break |
10:30 - 12:30 | Session 6: Safety Analysis (session chair: Christel Seguin)
|
12:30 - 14:00 | Lunch Break |
14:00 - 15:30 | Session 7: Safety and Security (session chair: Barbara Gallina)
|
15:30 - 16:00 | Closing |
|