ISoLA 2024

International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece

AISoLA
ISoLA
Sunday, 27.10
Time
06:30
07:00
07:30
08:00
08:30
09:00
09:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
Room: Room 1
Greet the Sun - 06:38
Breakfast
Rigorous Engineering of Collective Adaptive Systems
Coffee Break
Rigorous Engineering of Collective Adaptive Systems
Lunch Break
Rigorous Engineering of Collective Adaptive Systems
Coffee Break
Rigorous Engineering of Collective Adaptive Systems
Reception
Room: Room 2
Greet the Sun - 06:38
Breakfast
Automating Software Re-Engineering
Coffee Break
Automating Software Re-Engineering
Lunch Break
Automating Software Re-Engineering
Coffee Break
Automating Software Re-Engineering
Reception
Room: Room 3
Greet the Sun - 06:38
Breakfast
X-by-Construction Meets AI
Coffee Break
X-by-Construction Meets AI
Lunch Break
X-by-Construction Meets AI
Coffee Break
X-by-Construction Meets AI
Reception
Room: Room 4
Greet the Sun - 06:38
Breakfast
R@ISE: Low-Code/No-Code Plattform and Applications
Coffee Break
R@ISE: Low-Code/No-Code Plattform and Applications
Lunch Break
Doctoral Symposium
Coffee Break
Doctoral Symposium
Reception
Monday, 28.10
Time
06:30
07:00
07:30
08:00
08:30
09:00
09:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
Room: Room 1
Greet the Sun - 06:39
Breakfast
Rigorous Engineering of Collective Adaptive Systems
Coffee Break
Rigorous Engineering of Collective Adaptive Systems
Lunch Break
Rigorous Engineering of Collective Adaptive Systems
Coffee Break
Room: Room 2
Greet the Sun - 06:39
Breakfast
Formal methods for DIStributed COmputing in future RAILway systems
Coffee Break
Formal methods for DIStributed COmputing in future RAILway systems
Lunch Break
Formal methods for DIStributed COmputing in future RAILway systems
Coffee Break
Room: Room 3
Greet the Sun - 06:39
Breakfast
Digital Twin Engineering
Coffee Break
Digital Twin Engineering
Lunch Break
Digital Twin Engineering
Coffee Break
Digital Twin Engineering
Tuesday, 29.10
Time
06:30
07:00
07:30
08:00
08:30
09:00
09:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
20:30
21:00
21:30
22:00
22:30
Room: Room 1
Greet the Sun - 06:40
Breakfast
Rigorous Engineering of Collective Adaptive Systems Colloquium
Coffee Break
Rigorous Engineering of Collective Adaptive Systems Colloquium
Lunch Break
Rigorous Engineering of Collective Adaptive Systems Colloquium
Coffee Break
Rigorous Engineering of Collective Adaptive Systems Colloquium
Main Bar: The last round of cards
Room: Room 2
Greet the Sun - 06:40
Breakfast
Bridging gaps between program specification paradigms
Coffee Break
Bridging gaps between program specification paradigms
Lunch Break
Bridging gaps between program specification paradigms
Coffee Break
Bridging gaps between program specification paradigms
Room: Room 1
Room: Room 3
Greet the Sun - 06:40
Breakfast
Digital Humanities
Coffee Break
Digital Humanities
Lunch Break
Coffee Break
Room: Room 1
Wednesday, 30.10
Time
06:30
07:00
07:30
08:00
08:30
09:00
09:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
Room: Room 1
Greet the Sun - 06:40
Breakfast
Keynote: Christel Baier
Verification Meets Causality
Holger Hermanns: AI Act
Coffee Break
Responsible and Trusted AI: An Interdisciplinary Perspective
Lunch Break
Outing
Room: Room 2
Greet the Sun - 06:40
Breakfast
Room: Room 1
Coffee Break
Rigorous Engineering of Collective Adaptive Systems Colloquium
Lunch Break
Outing
Room: Room 3
Greet the Sun - 06:40
Breakfast
Room: Room 1
Coffee Break
Scalable Verification and Validation of Concurrent and Distributed Systems
Lunch Break
Outing
Room: Room 4
Greet the Sun - 06:40
Breakfast
Room: Room 1
Coffee Break
Doctoral Symposium
Lunch Break
Outing
Thursday, 31.10
Time
06:30
07:00
07:30
08:00
08:30
09:00
09:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
Room: Room 1
Greet the Sun - 06:41
Breakfast
Keynote: Tom Henzinger
Neural Certificates
Panel
Coffee Break
Responsible and Trusted AI: An Interdisciplinary Perspective
Lunch Break
Scalable Verification and Validation of Concurrent and Distributed Systems
Coffee Break
Scalable Verification and Validation of Concurrent and Distributed Systems
Room: Room 2
Greet the Sun - 06:41
Breakfast
Room: Room 1
Coffee Break
Rigorous Engineering of Collective Adaptive Systems Colloquium
Lunch Break
Rigorous Engineering of Collective Adaptive Systems Colloquium
Coffee Break
Rigorous Engineering of Collective Adaptive Systems Colloquium
Room: Room 3
Greet the Sun - 06:41
Breakfast
Room: Room 1
Coffee Break
AI Assisted Programming
Lunch Break
AI Assisted Programming
Coffee Break
AI Assisted Programming
Room: Room 4
Greet the Sun - 06:41
Breakfast
Room: Room 1
Coffee Break
Verification and Learning for Assured Autonomy
Lunch Break
Verification and Learning for Assured Autonomy
Coffee Break
Verification and Learning for Assured Autonomy
Room: Room 5
Greet the Sun - 06:41
Breakfast
Room: Room 1
Coffee Break
Type- and Logic-Based Methods for System Specification, Synthesis and Analysis
Lunch Break
Type- and Logic-Based Methods for System Specification, Synthesis and Analysis
Coffee Break
Type- and Logic-Based Methods for System Specification, Synthesis and Analysis
Friday, 1.11
Time
06:30
07:00
07:30
08:00
08:30
09:00
09:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
Room: Room 1
Greet the Sun - 06:42
Breakfast
Key: Ina Schieferdecker
Is your AI-based System Five Star Sustainable?
Panel
Coffee Break
Responsible and Trusted AI: An Interdisciplinary Perspective
Lunch Break
Responsible and Trusted AI: An Interdisciplinary Perspective
Coffee Break
Responsible and Trusted AI: An Interdisciplinary Perspective
Room: Room 2
Greet the Sun - 06:42
Breakfast
Room: Room 1
Coffee Break
Verification and Learning for Assured Autonomy
Lunch Break
Verification and Learning for Assured Autonomy
Coffee Break
Verification and Learning for Assured Autonomy
Room: Room 3
Greet the Sun - 06:42
Breakfast
Room: Room 1
Coffee Break
AI Assisted Programming
Lunch Break
Health Care - Approaches Using Formal Methods and AI
Coffee Break
Safe Autonomous Vehicles
Saturday, 2.11
Time
06:30
07:00
07:30
08:00
08:30
09:00
09:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
Room: Room 1
Greet the Sun - 06:43
Breakfast
Keynote: Edward A. Lee
Certainty vs. Intelligence
Panel
Coffee Break
Responsible and Trusted AI: An Interdisciplinary Perspective
Lunch Break
Track Plenary 'Are AI Minds Minds?'
Coffee Break
Track Plenary 'Are AI Minds Minds?'
Farewell Cocktail
Room: Room 2
Greet the Sun - 06:43
Breakfast
Room: Room 1
Coffee Break
Verification and Learning for Assured Autonomy
Lunch Break
Room: Room 1
Coffee Break
Room: Room 1
Farewell Cocktail
Room: Room 3
Greet the Sun - 06:43
Breakfast
Room: Room 1
Coffee Break
Health Care - Approaches Using Formal Methods and AI
Lunch Break
Room: Room 1
Coffee Break
Room: Room 1
Farewell Cocktail
Room: Room 4
Greet the Sun - 06:43
Breakfast
Room: Room 1
Coffee Break
Safe Autonomous Vehicles
Lunch Break
Room: Room 1
Coffee Break
Room: Room 1
Farewell Cocktail
Sunday, 3.11
Time
06:30
07:00
07:30
08:00
08:30
09:00
09:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
Room: Room 1
Greet the Sun - 06:44
Breakfast
Statistical Model Checking
Coffee Break
Statistical Model Checking
Lunch Break
Statistical Model Checking
Coffee Break
Statistical Model Checking
Room: Room 2
Greet the Sun - 06:44
Breakfast
Verification for Neuro-Symbolic Artificial Intelligence
Coffee Break
Verification for Neuro-Symbolic Artificial Intelligence
Lunch Break
Verification for Neuro-Symbolic Artificial Intelligence
Coffee Break
Verification for Neuro-Symbolic Artificial Intelligence
Room: Room 3
Greet the Sun - 06:44
Breakfast
Models for Trustworthy Autonomous Systems
Coffee Break
Models for Trustworthy Autonomous Systems
Lunch Break
Coffee Break