ISoLA & AISoLA 2026

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

ISoLA and AISoLA provide an open forum for discussions about recent scientific progress and its implications. ISoLA 2026 runs October 24–28, focusing on rigorous tools for specification, analysis, verification, certification, construction, test, and maintenance of systems. AISoLA 2026 runs October 27–31, fostering interdisciplinary discourse on the impact of recent advances in AI. Venue: Mitsis Selection Blue Domes.

↑Friday, 23.10

Room: Room 1

Time	Track	Session
09:00	LearnLib and Beyond	LearnLib and Beyond
10:30	Coffee Break (10:30)
11:00	LearnLib and Beyond	LearnLib and Beyond
12:30	Lunch (12:30)
14:30	LearnLib and Beyond	LearnLib and Beyond
16:00	Coffee Break (16:00)
16:30	LearnLib and Beyond	LearnLib and Beyond

↑Saturday, 24.10

Room: Room 1

Time	Track	Session
08:45	Opening	Opening ISoLA
09:00	ScaVeri	From Modeling Languages to Verified Systems
10:30	Coffee Break (10:30)
11:00	ScaVeri	AI, Learning, and Scalability in Verification and Testing
12:30	Lunch (12:30)
14:30	ScaVeri	Specification and Coordination of Distributed Systems
16:00	Coffee Break (16:00)
16:30	SpecifyThis	Foundations of Deductive Verification and Specification

18:30	Reception

Room: Room 2

Time	Track	Session
08:45
09:00	SMC 4	SMC 4
10:30	Coffee Break (10:30)
11:00	SMC 4	SMC 4
12:30	Lunch (12:30)
14:30	SMC 4	SMC 4
16:00	Coffee Break (16:00)
16:30	SMC 4	SMC 4

18:30	Reception

Room: Room 3

Time	Track	Session
08:45
09:00	LCNC	LCNC
10:30	Coffee Break (10:30)
11:00	LCNC	LCNC
12:30	Lunch (12:30)
14:30	DocSym	DocSym
16:00	Coffee Break (16:00)
16:30	Digital Humanities (GreatLeap)	Digital Humanities (GreatLeap)

18:30	Reception

↑Sunday, 25.10

Room: Room 1

Time	Track	Session
09:00	SpecifyThis	Contracts for Specification, Analysis, and Diagnostics
10:30	Coffee Break (10:30)
11:00	SpecifyThis	Bridging Heterogeneous Languages and Models
12:30	Lunch (12:30)
14:30	SpecifyThis	Contracts Across System Levels
16:00	Coffee Break (16:00)
16:30	SpecifyThis	Beyond Functional Correctness

Room: Room 2

Time	Track	Session
09:00	ReoCAS	Autonomy, Knowledge, and Emergence
10:30	Coffee Break (10:30)
11:00	ReoCAS	Decision-Making and Awareness
12:30	Lunch (12:30)
14:30	ReoCAS	Generative AI and Reasoning
16:00	Coffee Break (16:00)
16:30	ReoCAS	Rigorous CAS Engineering in the Quantum-AI Era

Room: Room 3

Time	Track	Session
09:00	Disco Rail	Formal verification of interlocking
10:30	Coffee Break (10:30)
11:00	Disco Rail	Testing and AI support
12:30	Lunch (12:30)
14:30	Disco Rail	ETCS ecosystem
16:00	Coffee Break (16:00)
16:30	Disco Rail	Non functional requirements

Room: Room 4

Time	Track	Session
09:00	DocSym	DocSym
10:30	Coffee Break (10:30)
11:00	DocSym	DocSym
12:30	Lunch (12:30)
14:30	LCNC	LCNC
16:00	Coffee Break (16:00)
16:30	Digital Humanities (GreatLeap)	Digital Humanities (GreatLeap)

↑Monday, 26.10

Room: Room 1

Time	Track	Session
09:00	Industrial Day	Introduction
10:30	Coffee Break (10:30)
11:00	Industrial Day	Industrial Day
12:30	Lunch (12:30)
14:30	Industrial Day	Industrial Day
16:00	Coffee Break (16:00)
16:30	Industrial Day	Industrial Day

Room: Room 2

Time	Track	Session
09:00	ReoCAS	Quantitative Modelling and Simulation
10:30	Coffee Break (10:30)
11:00	ReoCAS	Modular Design and Platform Architectures
12:30	Lunch (12:30)
14:30	ReoCAS	Engineering Robotic Systems
16:00	Coffee Break (16:00)
16:30	ReoCAS	Programming and Coordinating Robotic Systems

18:30	ReoCAS	Modelling Cyber-Physical Systems

Room: Room 3

Time	Track	Session
09:00	DTE 3	DTE 3
10:30	Coffee Break (10:30)
11:00	DTE 3	DTE 3
12:30	Lunch (12:30)
14:30	DTE 3	DTE 3
16:00	Coffee Break (16:00)
16:30	CPS Association Meeting	CPS Association Meeting

Room: Room 4

Time	Track	Session

10:30	Coffee Break (10:30)
11:00	Digital Humanities (GreatLeap)	Digital Humanities (GreatLeap)
12:30	Lunch (12:30)

16:00	Coffee Break (16:00)

↑Tuesday, 27.10

Room: Room 1

Time	Track	Session
08:45	Opening	Opening AISoLA
09:00	Keynote	David Dill Stanford University
10:30	Coffee Break (10:30)
11:00	RTAI	Human Oversight
12:30	Lunch (12:30)
13:30	RTAI	Meeting Risks of AI (1)

15:30	Outing / Social Event

Room: Room 2

Time	Track	Session
08:45

10:30	Coffee Break (10:30)
11:00	XbC-IAI	Neuro-Symbolic AI and Decision-Making
12:30	Lunch (12:30)
13:30	XbC-IAI	Keynote

15:30	Outing / Social Event

Room: Room 3

Time	Track	Session
08:45

10:30	Coffee Break (10:30)
11:00	FRGAIHCPS	Generative AI for Automotive Applications - Part 1
12:30	Lunch (12:30)
13:30	FRGAIHCPS	Generative AI for Automotive Applications - Part 2

15:30	Outing / Social Event

↑Wednesday, 28.10

Room: Room 1

Time	Track	Session
09:00	Keynote	Jeannette Wing Columbia University
10:30	Coffee Break (10:30)
11:00	RTAI	Meeting Risks of AI (2)
12:00	RTAI	AI for Good (1)
12:30	Lunch (12:30)
14:30	RTAI	AI for Good (2)
15:00	RTAI	XAI (1)
16:00	Coffee Break (16:00)
16:30	DocSym	DocSym

Room: Room 2

Time	Track	Session

10:30	Coffee Break (10:30)
11:00	XbC-IAI	Explainable Formal Methods and AI
12:30	Lunch (12:30)
14:30	XbC-IAI	Reinforcement Learning and Hybrid Systems
16:00	Coffee Break (16:00)
16:30	XbC-IAI	Agents and LLM-based Engineering

Room: Room 3

Time	Track	Session

10:30	Coffee Break (10:30)
11:00	AIAP	Software and Systems Engineering
12:30	Lunch (12:30)
14:30	AIAP	Code and Test Generation
16:00	Coffee Break (16:00)
16:30	AIAP	Verification and Constraints

↑Thursday, 29.10

Room: Room 1

Time	Track	Session
09:00	Keynote	Moshe Vardi Rice University
10:30	Coffee Break (10:30)
11:00	RTAI	XAI (2)
12:30	Lunch (12:30)
14:30	RTAI	AI, Responsibility and Authorship
15:30
16:00	Coffee Break (16:00)
16:30	RTAI	AI Alignment (1)

Room: Room 2

Time	Track	Session

10:30	Coffee Break (10:30)
11:00	FMDFM	FMDFM
12:30	Lunch (12:30)
14:30	FMDFM	FMDFM
16:00	Coffee Break (16:00)
16:30	SDC	SDC

Room: Room 3

Time	Track	Session

10:30	Coffee Break (10:30)
11:00	AIAP	Agentic Methods
12:30	Lunch (12:30)
14:30	AIAP	Safety and Robustness
16:00	Coffee Break (16:00)
16:30	AIAP	Applications and Control

↑Friday, 30.10

Room: Room 1

Time	Track	Session
09:00	Keynote	Edward Lee UC Berkeley
10:30	Coffee Break (10:30)
11:00	RTAI	AI Alignment (2)
12:30	Lunch (12:30)
14:30	Let's Talk AI	Let's Talk AI
16:00	Coffee Break (16:00)
16:30	Let's Talk AI	Let's Talk AI

Room: Room 2

Time	Track	Session

10:30	Coffee Break (10:30)
11:00	FRGAIHCPS	Adaptive Generative AI for Human-Centered CPS
12:30	Lunch (12:30)
14:30	FRGAIHCPS	Neuro-Symbolic and Agentic AI Safety and Security Assurance
16:00	Coffee Break (16:00)
16:30	FRGAIHCPS	Robust Generative AI for Safe Decision Making

Room: Room 3

Time	Track	Session

10:30	Coffee Break (10:30)
11:00	iFIP	iFIP
12:30	Lunch (12:30)
14:30	iFIP	iFIP
16:00	Coffee Break (16:00)
16:30	iFIP	iFIP

↑Saturday, 31.10

Room: Room 1

Time	Track	Session
09:00	DoronDay	Verifiction
10:30	Coffee Break (10:30)
11:00	DoronDay	Verification
12:30	Lunch (12:30)
14:30	DoronDay	From Fiction
16:00	Coffee Break (16:00)
16:30	DoronDay	to Reality

Room: Room 2

Time	Track	Session

10:30	Coffee Break (10:30)
11:00	AISoLA: Closing	AISoLA: Closing
12:30	Lunch (12:30)

16:00	Coffee Break (16:00)