ISoLA & AISoLA 2026

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

Room

Room 1

TimeTrackSession
Fri, 23.10
09:00		LearnLib and BeyondLearnLib and Beyond
Fri, 23.10
11:00		LearnLib and BeyondLearnLib and Beyond
Fri, 23.10
14:30		LearnLib and BeyondLearnLib and Beyond
Fri, 23.10
16:30		LearnLib and BeyondLearnLib and Beyond
Sat, 24.10
08:45		OpeningOpening ISoLA
Sat, 24.10
09:00		ScaVeriFrom Modeling Languages to Verified Systems
Sat, 24.10
11:00		ScaVeriAI, Learning, and Scalability in Verification and Testing
Sat, 24.10
14:30		ScaVeriSpecification and Coordination of Distributed Systems
Sat, 24.10
16:30		SpecifyThisFoundations of Deductive Verification and Specification
Sun, 25.10
09:00		SpecifyThisContracts for Specification, Analysis, and Diagnostics
Sun, 25.10
11:00		SpecifyThisBridging Heterogeneous Languages and Models
Sun, 25.10
14:30		SpecifyThisContracts Across System Levels
Sun, 25.10
16:30		SpecifyThisBeyond Functional Correctness
Mon, 26.10
09:00		Industrial DayIntroduction
Mon, 26.10
11:00		Industrial DayIndustrial Day
Mon, 26.10
14:30		Industrial DayIndustrial Day
Mon, 26.10
16:30		Industrial DayIndustrial Day
Tue, 27.10
08:45		OpeningOpening AISoLA
Tue, 27.10
09:00		KeynoteDavid Dill
Stanford University
Tue, 27.10
11:00		RTAIHuman Oversight
Tue, 27.10
13:30		RTAIMeeting Risks of AI (1)
Wed, 28.10
09:00		KeynoteJeannette Wing
Columbia University
Wed, 28.10
11:00		RTAIMeeting Risks of AI (2)
Wed, 28.10
12:00		RTAIAI for Good (1)
Wed, 28.10
14:30		RTAIAI for Good (2)
Wed, 28.10
15:00		RTAIXAI (1)
Wed, 28.10
16:30		DocSymDocSym
Thu, 29.10
09:00		KeynoteMoshe Vardi
Rice University
Thu, 29.10
11:00		RTAIXAI (2)
Thu, 29.10
14:30		RTAIAI, Responsibility and Authorship
Thu, 29.10
15:30
Thu, 29.10
16:30		RTAIAI Alignment (1)
Fri, 30.10
09:00		KeynoteEdward Lee
UC Berkeley
Fri, 30.10
11:00		RTAIAI Alignment (2)
Fri, 30.10
14:30		Let's Talk AILet's Talk AI
Fri, 30.10
16:30		Let's Talk AILet's Talk AI
Sat, 31.10
09:00		DoronDayVerifiction
Sat, 31.10
11:00		DoronDayVerification
Sat, 31.10
14:30		DoronDayFrom Fiction
Sat, 31.10
16:30		DoronDayto Reality