ISoLA 2024

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

ISoLA

AISoLA

↑Sunday, 27.10

Time	Track	Session
06:30	Greet the Sun - 06:38
07:00	Breakfast
09:00	Rigorous Engineering of Collective Adaptive Systems	Large ensembles and Collective Dynamics
10:30	Coffee Break
11:00	Rigorous Engineering of Collective Adaptive Systems	Knowledge, Consciousness and Emergence
12:30	Lunch Break
14:30	Rigorous Engineering of Collective Adaptive Systems	Automated Reasoning for Better Interaction
16:00	Coffee Break
16:30	Rigorous Engineering of Collective Adaptive Systems	Modelling and Engineering Collective Adaptive Systems I
18:00	Reception

Room: Room 2

Time	Track	Session
06:30	Greet the Sun - 06:38
07:00	Breakfast
09:00	Automating Software Re-Engineering	Maintainable Tests
10:30	Coffee Break
11:00	Automating Software Re-Engineering	Trusted Distribution
12:30	Lunch Break
14:30	Automating Software Re-Engineering	Digital Twins
16:00	Coffee Break
16:30	Automating Software Re-Engineering	Discussion
18:00	Reception

Room: Room 3

Time	Track	Session
06:30	Greet the Sun - 06:38
07:00	Breakfast
09:00	X-by-Construction Meets AI	Session 1
10:30	Coffee Break
11:00	X-by-Construction Meets AI	Session 2
12:30	Lunch Break
14:30	X-by-Construction Meets AI	Session 3
16:00	Coffee Break
16:30	X-by-Construction Meets AI	Session 4
18:00	Reception

Room: Room 4

Time	Track	Session
06:30	Greet the Sun - 06:38
07:00	Breakfast
09:00	R@ISE: Low-Code/No-Code Plattform and Applications	Session 1
10:30	Coffee Break
11:00	R@ISE: Low-Code/No-Code Plattform and Applications	Session 2
12:30	Lunch Break
14:30	Doctoral Symposium	Low Code/No Code
16:00	Coffee Break
16:30	Doctoral Symposium	Model-Driven Engineering
18:00	Reception

↑Monday, 28.10

Room: Room 1

Time	Track	Session
06:30	Greet the Sun - 06:39
07:00	Breakfast
09:00	Rigorous Engineering of Collective Adaptive Systems	Modelling and Engineering Collective Adaptive Systems II
10:30	Coffee Break
11:00	Rigorous Engineering of Collective Adaptive Systems	Analysing Collective Adaptive Systems I
12:30	Lunch Break
14:30	Rigorous Engineering of Collective Adaptive Systems	Analysing Collective Adaptive Systems II
16:00	Coffee Break

Room: Room 2

Time	Track	Session
06:30	Greet the Sun - 06:39
07:00	Breakfast
09:00	Formal methods for DIStributed COmputing in future RAILway systems	Session 1
10:30	Coffee Break
11:00	Formal methods for DIStributed COmputing in future RAILway systems	Session 2
12:30	Lunch Break
14:30	Formal methods for DIStributed COmputing in future RAILway systems	Session 3
16:00	Coffee Break

Room: Room 3

Time	Track	Session
06:30	Greet the Sun - 06:39
07:00	Breakfast
09:00	Digital Twin Engineering	Session 1
10:30	Coffee Break
11:00	Digital Twin Engineering	Session 2
12:30	Lunch Break
14:30	Digital Twin Engineering	Session 3
16:00	Coffee Break
16:30	Digital Twin Engineering	Session 4

↑Tuesday, 29.10

Room: Room 1

Time	Track	Session
06:30	Greet the Sun - 06:40
07:00	Breakfast
09:00	Rigorous Engineering of Collective Adaptive Systems Colloquium	Opening and Domain-specific Formal Languages
10:30	Coffee Break
11:00	Rigorous Engineering of Collective Adaptive Systems Colloquium	Behavioral Relations
12:30	Lunch Break
14:30	Rigorous Engineering of Collective Adaptive Systems Colloquium	Analysing Quantum Processes and Collective Adaptive Systems
16:00	Coffee Break
16:30	Rigorous Engineering of Collective Adaptive Systems Colloquium	Probability & Inference

Room: Room 2

Time	Track	Session
06:30	Greet the Sun - 06:40
07:00	Breakfast
09:00	Bridging gaps between program specification paradigms	Session 1
10:30	Coffee Break
11:00	Bridging gaps between program specification paradigms	Session 2
12:30	Lunch Break
14:30	Bridging gaps between program specification paradigms	Session 3
16:00	Coffee Break
16:30	Bridging gaps between program specification paradigms	Session 4

Room: Room 3

Time	Track	Session
06:30	Greet the Sun - 06:40
07:00	Breakfast
09:00	Digital Humanities	Session 1
10:30	Coffee Break
11:00	Digital Humanities	Session 2
12:30	Lunch Break

16:00	Coffee Break

↑Wednesday, 30.10

Room: Room 1

Time	Track	Session
06:30	Greet the Sun - 06:40
07:00	Breakfast
09:00	Keynote: Christel Baier Verification Meets Causality	Keynote: Christel Baier Verification Meets Causality
10:00	Holger Hermanns: AI Act	Holger Hermanns: AI Act
10:30	Coffee Break
11:00	Responsible and Trusted AI: An Interdisciplinary Perspective	General Issues I
13:00	Lunch Break
14:30	Outing

Room: Room 2

Time	Track	Session
06:30	Greet the Sun - 06:40
07:00	Breakfast
09:00	Room: Room 1

10:30	Coffee Break
11:00	Rigorous Engineering of Collective Adaptive Systems Colloquium	Collective Adaptive and Multi-agent Systems
12:30	Lunch Break
14:30	Outing

Room: Room 3

Time	Track	Session
06:30	Greet the Sun - 06:40
07:00	Breakfast
09:00	Room: Room 1

10:30	Coffee Break
11:00	Scalable Verification and Validation of Concurrent and Distributed Systems	Session 1
12:30	Lunch Break
14:30	Outing

Room: Room 4

Time	Track	Session
06:30	Greet the Sun - 06:40
07:00	Breakfast
09:00	Room: Room 1

10:30	Coffee Break
11:00	Doctoral Symposium	Human Interaction
12:30	Lunch Break
14:30	Outing

↑Thursday, 31.10

Room: Room 1

Time	Track	Session
06:30	Greet the Sun - 06:41
07:00	Breakfast
09:00	Keynote: Tom Henzinger Neural Certificates	Keynote: Tom Henzinger Neural Certificates
10:00	Panel	Panel
10:30	Coffee Break
11:00	Responsible and Trusted AI: An Interdisciplinary Perspective	General Issues II
13:00	Lunch Break
14:30	Scalable Verification and Validation of Concurrent and Distributed Systems	Session 2
16:00	Coffee Break
16:30	Scalable Verification and Validation of Concurrent and Distributed Systems	Session 3

Room: Room 2

Time	Track	Session
06:30	Greet the Sun - 06:41
07:00	Breakfast
09:00	Room: Room 1

10:30	Coffee Break
11:00	Rigorous Engineering of Collective Adaptive Systems Colloquium	Programing and Analysing Collective Adaptive and Multi-agent Systems
12:30	Lunch Break
14:30	Rigorous Engineering of Collective Adaptive Systems Colloquium	Service Orientation and Code Generation
16:00	Coffee Break
16:30	Rigorous Engineering of Collective Adaptive Systems Colloquium	Security & Safety and Closing

Room: Room 3

Time	Track	Session
06:30	Greet the Sun - 06:41
07:00	Breakfast
09:00	Room: Room 1

10:30	Coffee Break
11:00	AI Assisted Programming	Session 1
12:30	Lunch Break
14:30	AI Assisted Programming	Session 2
16:00	Coffee Break
16:30	AI Assisted Programming	Session 3

Room: Room 4

Time	Track	Session
06:30	Greet the Sun - 06:41
07:00	Breakfast
09:00	Room: Room 1

10:30	Coffee Break
11:00	Verification and Learning for Assured Autonomy	Control/Robotics/CPS I
12:30	Lunch Break
14:30	Verification and Learning for Assured Autonomy	ML/AI I
16:00	Coffee Break
16:30	Verification and Learning for Assured Autonomy	FM/Probabilistic Programming I

Room: Room 5

Time	Track	Session
06:30	Greet the Sun - 06:41
07:00	Breakfast
09:00	Room: Room 1

10:30	Coffee Break
11:00	Type- and Logic-Based Methods for System Specification, Synthesis and Analysis	Session 1
12:30	Lunch Break
14:30	Type- and Logic-Based Methods for System Specification, Synthesis and Analysis	Session 2
16:00	Coffee Break
16:30	Type- and Logic-Based Methods for System Specification, Synthesis and Analysis	Session 3

↑Friday, 1.11

Room: Room 1

Time	Track	Session
06:30	Greet the Sun - 06:42
07:00	Breakfast
09:00	Key: Ina Schieferdecker Is your AI-based System Five Star Sustainable?	Keynote: I.S Schieferdecker Is your AI-based System Five Star Sustainable?
10:00	Panel	Panel
10:30	Coffee Break
11:00	Responsible and Trusted AI: An Interdisciplinary Perspective	Transparency, XAI and Meaningful Human Oversight I
12:30	Lunch Break
14:30	Responsible and Trusted AI: An Interdisciplinary Perspective	Transparency, XAI and Meaningful Human Oversight II
16:00	Coffee Break
16:30	Responsible and Trusted AI: An Interdisciplinary Perspective	Privacy and Fairness

Room: Room 2

Time	Track	Session
06:30	Greet the Sun - 06:42
07:00	Breakfast
09:00	Room: Room 1

10:30	Coffee Break
11:00	Verification and Learning for Assured Autonomy	FM/Probabilistic Programming II
12:30	Lunch Break
14:30	Verification and Learning for Assured Autonomy	ML/AI II
16:00	Coffee Break
16:30	Verification and Learning for Assured Autonomy	FM/Probabilistic Programming III

Room: Room 3

Time	Track	Session
06:30	Greet the Sun - 06:42
07:00	Breakfast
09:00	Room: Room 1

10:30	Coffee Break
11:00	AI Assisted Programming	Session 4
12:30	Lunch Break
14:30	Health Care - Approaches Using Formal Methods and AI	Session 1
16:00	Coffee Break
16:30	Safe Autonomous Vehicles	Session 1

↑Saturday, 2.11

Room: Room 1

Time	Track	Session
06:30	Greet the Sun - 06:43
07:00	Breakfast
09:00	Keynote: Edward A. Lee Certainty vs. Intelligence	Keynote: Edward A. Lee Certainty vs. Intelligence
10:00	Panel	Panel
10:30	Coffee Break
11:00	Responsible and Trusted AI: An Interdisciplinary Perspective	Trust and Trustworthiness I
12:30	Lunch Break
14:30	Track Plenary 'Are AI Minds Minds?'	Track Plenary 'Are AI Minds Minds?'
16:00	Coffee Break
16:30	Track Plenary 'Are AI Minds Minds?'	Track Plenary 'Are AI Minds Minds?'
18:00	Farewell Cocktail

Room: Room 2

Time	Track	Session
06:30	Greet the Sun - 06:43
07:00	Breakfast
09:00	Room: Room 1

10:30	Coffee Break
11:00	Verification and Learning for Assured Autonomy	Control/Robotics/CPS II
12:30	Lunch Break
14:30	Room: Room 1
16:00	Coffee Break
16:30	Room: Room 1
18:00	Farewell Cocktail

Room: Room 3

Time	Track	Session
06:30	Greet the Sun - 06:43
07:00	Breakfast
09:00	Room: Room 1

10:30	Coffee Break
11:00	Health Care - Approaches Using Formal Methods and AI	Session 2
12:30	Lunch Break
14:30	Room: Room 1
16:00	Coffee Break
16:30	Room: Room 1
18:00	Farewell Cocktail

Room: Room 4

Time	Track	Session
06:30	Greet the Sun - 06:43
07:00	Breakfast
09:00	Room: Room 1

10:30	Coffee Break
11:00	Safe Autonomous Vehicles	Session 2
12:30	Lunch Break
14:30	Room: Room 1
16:00	Coffee Break
16:30	Room: Room 1
18:00	Farewell Cocktail

↑Sunday, 3.11

Room: Room 1

Time	Track	Session
06:30	Greet the Sun - 06:44
07:00	Breakfast
09:00	Statistical Model Checking	Session 1
10:30	Coffee Break
10:55	Statistical Model Checking	Session 2
12:35	Lunch Break
14:30	Statistical Model Checking	Session 3

16:00	Coffee Break
16:30	Statistical Model Checking	Session 4

Room: Room 2

Time	Track	Session
06:30	Greet the Sun - 06:44
07:00	Breakfast
09:00	Verification for Neuro-Symbolic Artificial Intelligence	Session 1
10:30	Coffee Break
11:00	Verification for Neuro-Symbolic Artificial Intelligence	Session 2
12:30	Lunch Break
14:30	Verification for Neuro-Symbolic Artificial Intelligence	Session 3
16:00	Coffee Break
16:30	Verification for Neuro-Symbolic Artificial Intelligence	Session 4

Room: Room 3

Time	Track	Session
06:30	Greet the Sun - 06:44
07:00	Breakfast
09:00	Models for Trustworthy Autonomous Systems	Session 1
10:30	Coffee Break
11:00	Models for Trustworthy Autonomous Systems	Session 2
12:30	Lunch Break

16:00	Coffee Break