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 NN Challenges 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