ISoLA & AISoLA 2026

International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece

Room

Room 3

TimeTrackSession
Sat, 24.10
08:45
Sat, 24.10
09:00		LCNCLCNC
Sat, 24.10
11:00		LCNCLCNC
Sat, 24.10
14:30		DocSymDocSym
Sat, 24.10
16:30		Digital Humanities (GreatLeap)Digital Humanities (GreatLeap)
Sun, 25.10
09:00		Disco RailFormal verification of interlocking
Sun, 25.10
11:00		Disco RailTesting and AI support
Sun, 25.10
14:30		Disco RailETCS ecosystem
Sun, 25.10
16:30		Disco RailNon functional requirements
Mon, 26.10
09:00		DTE 3DTE 3
Mon, 26.10
11:00		DTE 3DTE 3
Mon, 26.10
14:30		DTE 3DTE 3
Mon, 26.10
16:30		CPS Association MeetingCPS Association Meeting
Tue, 27.10
08:45
Tue, 27.10
11:00		FRGAIHCPSGenerative AI for Automotive Applications - Part 1
Tue, 27.10
13:30		FRGAIHCPSGenerative AI for Automotive Applications - Part 2
Wed, 28.10
11:00		AIAPSoftware and Systems Engineering
Wed, 28.10
14:30		AIAPCode and Test Generation
Wed, 28.10
16:30		AIAPVerification and Constraints
Thu, 29.10
11:00		AIAPAgentic Methods
Thu, 29.10
14:30		AIAPSafety and Robustness
Thu, 29.10
16:30		AIAPApplications and Control
Fri, 30.10
11:00		iFIPiFIP
Fri, 30.10
14:30		iFIPiFIP
Fri, 30.10
16:30		iFIPiFIP