ISoLA 2024

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

Room

Room 3

TimeTrackSession
Sun, 27.10
09:00		X-by-Construction Meets AISession 1
Sun, 27.10
11:00		X-by-Construction Meets AISession 2
Sun, 27.10
14:30		X-by-Construction Meets AISession 3
Sun, 27.10
16:30		X-by-Construction Meets AISession 4
Mon, 28.10
09:00		Digital Twin EngineeringSession 1
Mon, 28.10
11:00		Digital Twin EngineeringSession 2
Mon, 28.10
14:30		Digital Twin EngineeringSession 3
Mon, 28.10
16:30		Digital Twin EngineeringSession 4
Tue, 29.10
09:00		Digital HumanitiesSession 1
Tue, 29.10
11:00		Digital HumanitiesSession 2
Wed, 30.10
11:00		Scalable Verification and Validation of Concurrent and Distributed SystemsSession 1
Thu, 31.10
11:00		AI Assisted ProgrammingSession 1
Thu, 31.10
14:30		AI Assisted ProgrammingSession 2
Thu, 31.10
16:30		AI Assisted ProgrammingSession 3
Fri, 1.11
11:00		AI Assisted ProgrammingSession 4
Fri, 1.11
14:30		Health Care - Approaches Using Formal Methods and AISession 1
Fri, 1.11
16:30		Safe Autonomous VehiclesSession 1
Sat, 2.11
11:00		Health Care - Approaches Using Formal Methods and AISession 2
Sun, 3.11
09:00		Models for Trustworthy Autonomous SystemsSession 1
Sun, 3.11
11:00		Models for Trustworthy Autonomous SystemsSession 2