ISoLA & AISoLA 2026

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

Room

Room 2

TimeTrackSession
Sat, 24.10
08:45
Sat, 24.10
09:00		SMC 4SMC 4
Sat, 24.10
11:00		SMC 4SMC 4
Sat, 24.10
14:30		SMC 4SMC 4
Sat, 24.10
16:30		SMC 4SMC 4
Sun, 25.10
09:00		ReoCASAutonomy, Knowledge, and Emergence
Sun, 25.10
11:00		ReoCASDecision-Making and Awareness
Sun, 25.10
14:30		ReoCASGenerative AI and Reasoning
Sun, 25.10
16:30		ReoCASRigorous CAS Engineering in the Quantum-AI Era
Mon, 26.10
09:00		ReoCASQuantitative Modelling and Simulation
Mon, 26.10
11:00		ReoCASModular Design and Platform Architectures
Mon, 26.10
14:30		ReoCASEngineering Robotic Systems
Mon, 26.10
16:30		ReoCASProgramming and Coordinating Robotic Systems
Mon, 26.10
18:30		ReoCASModelling Cyber-Physical Systems
Tue, 27.10
08:45
Tue, 27.10
11:00		XbC-IAINeuro-Symbolic AI and Decision-Making
Tue, 27.10
13:30		XbC-IAIKeynote
Wed, 28.10
11:00		XbC-IAIExplainable Formal Methods and AI
Wed, 28.10
14:30		XbC-IAIReinforcement Learning and Hybrid Systems
Wed, 28.10
16:30		XbC-IAIAgents and LLM-based Engineering
Thu, 29.10
11:00		FMDFMFMDFM
Thu, 29.10
14:30		FMDFMFMDFM
Thu, 29.10
16:30		SDCSDC
Fri, 30.10
11:00		FRGAIHCPSAdaptive Generative AI for Human-Centered CPS
Fri, 30.10
14:30		FRGAIHCPSNeuro-Symbolic and Agentic AI Safety and Security Assurance
Fri, 30.10
16:30		FRGAIHCPSRobust Generative AI for Safe Decision Making
Sat, 31.10
11:00		AISoLA: ClosingAISoLA: Closing