ISoLA 2024

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

Room

Room 2

TimeTrackSession
Sun, 27.10
09:00		Automating Software Re-EngineeringMaintainable Tests
Sun, 27.10
11:00		Automating Software Re-EngineeringTrusted Distribution
Sun, 27.10
14:30		Automating Software Re-EngineeringDigital Twins
Sun, 27.10
16:30		Automating Software Re-EngineeringDiscussion
Mon, 28.10
09:00		Formal methods for DIStributed COmputing in future RAILway systemsSession 1
Mon, 28.10
11:00		Formal methods for DIStributed COmputing in future RAILway systemsSession 2
Mon, 28.10
14:30		Formal methods for DIStributed COmputing in future RAILway systemsSession 3
Tue, 29.10
09:00		Bridging gaps between program specification paradigmsSession 1
Tue, 29.10
11:00		Bridging gaps between program specification paradigmsSession 2
Tue, 29.10
14:30		Bridging gaps between program specification paradigmsSession 3
Tue, 29.10
16:30		Bridging gaps between program specification paradigmsSession 4
Wed, 30.10
11:00		Rigorous Engineering of Collective Adaptive Systems ColloquiumCollective Adaptive and Multi-agent Systems
Thu, 31.10
11:00		Rigorous Engineering of Collective Adaptive Systems ColloquiumPrograming and Analysing Collective Adaptive and Multi-agent Systems
Thu, 31.10
14:30		Rigorous Engineering of Collective Adaptive Systems ColloquiumService Orientation and Code Generation
Thu, 31.10
16:30		Rigorous Engineering of Collective Adaptive Systems ColloquiumSecurity & Safety and Closing
Fri, 1.11
11:00		Verification and Learning for Assured AutonomyFM/Probabilistic Programming II
Fri, 1.11
14:30		Verification and Learning for Assured AutonomyML/AI II
Fri, 1.11
16:30		Verification and Learning for Assured AutonomyFM/Probabilistic Programming III
Sat, 2.11
11:00		Verification and Learning for Assured AutonomyControl/Robotics/CPS II
Sun, 3.11
09:00		Verification for Neuro-Symbolic Artificial IntelligenceSession 1
Sun, 3.11
11:00		Verification for Neuro-Symbolic Artificial IntelligenceSession 2
Sun, 3.11
14:30		Verification for Neuro-Symbolic Artificial IntelligenceSession 3
Sun, 3.11
16:30		Verification for Neuro-Symbolic Artificial IntelligenceSession 4