ISoLA 2024

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

Room

Room 1

TimeTrackSession
Sun, 27.10
09:00		Rigorous Engineering of Collective Adaptive SystemsLarge ensembles and Collective Dynamics
Sun, 27.10
11:00		Rigorous Engineering of Collective Adaptive SystemsKnowledge, Consciousness and Emergence
Sun, 27.10
14:30		Rigorous Engineering of Collective Adaptive SystemsAutomated Reasoning for Better Interaction
Sun, 27.10
16:30		Rigorous Engineering of Collective Adaptive SystemsModelling and Engineering Collective Adaptive Systems I
Mon, 28.10
09:00		Rigorous Engineering of Collective Adaptive SystemsModelling and Engineering Collective Adaptive Systems II
Mon, 28.10
11:00		Rigorous Engineering of Collective Adaptive SystemsAnalysing Collective Adaptive Systems I
Mon, 28.10
14:30		Rigorous Engineering of Collective Adaptive SystemsAnalysing Collective Adaptive Systems II
Tue, 29.10
09:00		Rigorous Engineering of Collective Adaptive Systems ColloquiumOpening and Domain-specific Formal Languages
Tue, 29.10
11:00		Rigorous Engineering of Collective Adaptive Systems ColloquiumBehavioral Relations
Tue, 29.10
14:30		Rigorous Engineering of Collective Adaptive Systems ColloquiumAnalysing Quantum Processes and Collective Adaptive Systems
Tue, 29.10
16:30		Rigorous Engineering of Collective Adaptive Systems ColloquiumProbability & Inference
Wed, 30.10
10:00		Holger Hermanns: AI ActHolger Hermanns: AI Act
Wed, 30.10
11:00		Responsible and Trusted AI: An Interdisciplinary PerspectiveGeneral Issues I
Thu, 31.10
10:00		PanelPanel
Thu, 31.10
11:00		Responsible and Trusted AI: An Interdisciplinary PerspectiveGeneral Issues II
Thu, 31.10
14:30		Scalable Verification and Validation of Concurrent and Distributed SystemsSession 2
Thu, 31.10
16:30		Scalable Verification and Validation of Concurrent and Distributed SystemsSession 3
Fri, 1.11
10:00		PanelPanel
Fri, 1.11
11:00		Responsible and Trusted AI: An Interdisciplinary PerspectiveTransparency, XAI and Meaningful Human Oversight I
Fri, 1.11
14:30		Responsible and Trusted AI: An Interdisciplinary PerspectiveTransparency, XAI and Meaningful Human Oversight II
Fri, 1.11
16:30		Responsible and Trusted AI: An Interdisciplinary PerspectivePrivacy and Fairness
Sat, 2.11
10:00		PanelPanel
Sat, 2.11
11:00		Responsible and Trusted AI: An Interdisciplinary PerspectiveTrust and Trustworthiness I
Sun, 3.11
09:00		Statistical Model CheckingSession 1
Sun, 3.11
10:55		Statistical Model CheckingSession 2
Sun, 3.11
14:30		Statistical Model CheckingSession 3
Sun, 3.11
16:30		Statistical Model CheckingSession 4