ISoLA CONFERENCE PROGRAM OVERVIEW
Monday, October 24th
| Room 1 | Room 2 | Room 3 | |
| 09:00-10:30 | Programming: What is Next? | Verification and Validation of Concurrent and Distributed Systems | Automated Verification of Embedded Control Software |
| 10:30-11:00 | COFFEE BREAK | ||
| 11:00-12:30 | Programming: What is Next? | Verification and Validation of Concurrent and Distributed Systems | Automated Verification of Embedded Control Software |
| 12:30-14:30 | LUNCH | ||
| 14:30-16:00 | Programming: What is Next? | Verification and Validation of Concurrent and Distributed Systems | Automated Verification of Embedded Control Software |
| 16:00-16:30 | COFFEE BREAK | ||
| 16:30-18:00 | Programming: What is Next? | DocSymp | |
Tuesday, October 25th
| Room 1 | Room 2 | Room 3 | |
| 09:00-10:30 | Rigorous Engineering of Collective Adaptive Systems | Formal methods for DIStributed COmputing in future RAILway Systems (DisCo Rail 2020) | Formal Methods Meet Machine Learning |
| 10:30-11:00 | COFFEE BREAK | ||
| 11:00-12:30 | Rigorous Engineering of Collective Adaptive Systems | Formal methods for DIStributed COmputing in future RAILway Systems (DisCo Rail 2020) | Formal Methods Meet Machine Learning |
| 12:30-14:30 | LUNCH | ||
| OUTING | |||
| CONFERENCE DINNER | |||
Wednesday, October 26th
| Room 1 | Room 2 | Room 3 | |
| 09:00-10:30 | Rigorous Engineering of Collective Adaptive Systems | Formal Methods Meet Machine Learning | Digital Twin Engineering |
| 10:30-11:00 | COFFEE BREAK | ||
| 11:00-12:30 | Rigorous Engineering of Collective Adaptive Systems | Formal Methods Meet Machine Learning | Digital Twin Engineering |
| 12:30-14:30 | LUNCH | ||
| 14:30-16:00 | Rigorous Engineering of Collective Adaptive Systems | NN Challenges | Digital Twin Engineering |
| 16:00-16:30 | COFFEE BREAK | ||
| 16:30-18:00 | Rigorous Engineering of Collective Adaptive Systems | X-by-Construction | Digital Twin Engineering |
Thursday, October 27th
| Room 1 | Room 2 | Room 3 | |
| 09:00-10:30 | Rigorous Engineering of Collective Adaptive Systems | X-by-Construction | Automating Software Re-Engineering |
| 10:30-11:00 | COFFEE BREAK | ||
| 11:00-12:30 | Rigorous Engineering of Collective Adaptive Systems | X-by-Construction | Automating Software Re-Engineering |
| 12:30-14:30 | LUNCH | ||
| 14:30-16:00 | Rigorous Engineering of Collective Adaptive Systems | X-by-Construction | Automating Software Re-Engineering |
| 16:00-16:30 | COFFEE BREAK | ||
| 16:30-18:00 | STTT Editorial Meeting | DocSymp | |
Friday, October 28th
| Room 1 | Room 2 | Room 3 | |
| 09:00-10:30 | SpecifyThis | Digital Thread in Smart Manufacturing | Industrial Day |
| 10:30-11:00 | COFFEE BREAK | ||
| 11:00-12:30 | SpecifyThis | Digital Thread in Smart Manufacturing | Industrial Day |
| 12:30-14:30 | LUNCH | ||
| 14:30-16:00 | SpecifyThis | DocSymp | Industrial Day |
| 16:00-16:30 | COFFEE BREAK | ||