PAST EDITIONS ETAPS 2026
April 11–16, 2026
Turin, Italy
ETAPS 2026 took place in Turin, Italy, April 11–16, 2026. It was organized by the Department of Computer Science of the University of Turin, namely by Barbara Boni, Maurice ter Beek, and Ferruccio Damiani.
In addition to the work presented at the satellite events during the weekend, 138 papers were accepted and presented at the main conferences ESOP, FASE, FoSSaCS, and TACAS. The third ETAPS Industry Day was organized and attracted a lot of attention. The 32nd International SPIN Symposium on Model Checking of Software, the RUST workshop were co-located with ETAPS, and FM4All meeting were colocated with ETAPS.
Programme Overview
Sessions of the main conferences from Monday to Thursday.
Workshops: ConVeY 2026 | EMW 2026 | FMBC 2026 | MISSION 2026 | PLACES 2026 | CMCS 2026 | VerifyThis 2026 | WRLA 2026
Workshops: AnalyzeThat 2026 | COOP 2026 | LiVe 2026 | LTT 2026 | MARS 2026 | TLA+ 2026 | SynCoP 2026 | CMCS 2026 | VerifyThis 2026 | WRLA 2026
Christel Baier: Verification of Infinite-horizon Properties of Dynamic Bayesian Networks
TACAS: Proofs and Quantifier Elimination
FASE: SE and AI
FOSSACS: Logic, Model Checking, Formal Specifications
FM4All
RUST
Leonardo de Moura: The Lean Programming Language and Theorem Prover (Invited Tutorial)
TACAS: Software Verification
FASE: Advanced SW Development
FOSSACS: Automata, Games, Concurrency Models
SV-COMP
RUST
Einar Broch Johnsen: Formal Methods meet Digital Twins: Challenges and Opportunities
TACAS: Probabilistic Model Checking & Software Testing
ESOP: Concurrency
FASE: Autonomous Systems/Applications
FOSSACS: Kleene Algebra, Expressions, String Diagrams, Categorical Logic
RUST
ETAPS Awards and Ask-Me-Anything Session
RUST
TACAS: SAT/SMT I
ESOP: Semantics & Compilation
FASE: Testing and Verification
FOSSACS: Category Theory, Coalgebra, Metric Systems
RUST
Monika Henzinger: Guarding Privacy Over Time: Challenges and Solutions in Continuous Data Observation
TACAS: Automata
ESOP: Verification
FOSSACS: Lambda-Calculus, Program Semantics, Infinite Structures
SPIN
Industry Day
ETAPS General Assembly
Industry Day
Invited Tutorial
ESOP: Types
TACAS: Static Analysis & Program Verification
Industry Day
SPIN
Guy Van Den Broeck: Symbolic Reasoning in the Age of Large Language Models
TACAS: CPS & Quantum
ESOP: Analysis
SPIN
TACAS: Model Checking & Hardware Verification
Diversity, Equity, and Inclusion
Test-Comp
SPIN
TACAS: SAT/SMT II
SV-COMP and Test-Comp Community Meeting
Invited Speakers
Awards
The Award-Winning Papers, Theses, and Tools of ETAPS 2026.
| EATCS Best Paper Award | Isa Vialard, Joël Ouaknine, and Quentin Guilmant: The Value Problem for Weighted Timed Games with Two clocks is Undecidable |
| EATCS Best Paper Award | Stephanie Balzer, Farzaneh Derakhshan, Robert Harper, and Yue Yao: Recursive Logical Relations for Intuitionistic Linear Logic Session Types |
| EASST Best Paper Award | Valentim Romão, Rafael Soares, Luis Rodrigues and Vasco Manquinho: Don’t Go MAD with Anomalies! Design-Time Microservice Anomaly Detection in Migration to Microservices |
| EAPLS Best Paper Award | Florian Frohn, Jürgen Giesl, Peter Giesl, and Nils Lommen: On Deciding Constant Runtime of Linear Loops |
| Best Tool Paper Award | Dominik Schreiber, Aina Niemetz and Mathias Preiner: Massively Parallel Bit-Precise Verification with Bitwuzla and Mallob |
| Doctoral Dissertation Award | Thom Badings: Robust Verification of Stochastic Systems: Guarantees in the Presence of Uncertainty |
| Test of Time Award | T. Knapik, D. Niwinski and P. Urzyczyn: Higher-Order Pushdown Trees Are Easy (FoSSaCS 2002) |
| Test-of-Time Tool Award | Developed and maintained at the Stanford University and University of Iowa: SMT solver CVC4/cvc5 |
| Best reviewer of FASE 2026 | Luigia Petre |
| Best reviewer of FoSSaCS 2026 | Hugo Paquet |
| Best reviewer of ESOP 2026 | Raphaëlle Crubillé |
| Best reviewer of TACAS 2026 | Étienne André |
| Best reviewer of ESOP-FASE-FOSSaCS 2026 Artifact Evaluation | Flavio Ascari |
| Best reviewers of TACAS 2026 Artifact Evaluation | Hanna Lachnitt, Juliane Päßler, and Neea Rusch |
| Distinguished Artifact Award for ESOP-FASE-FoSSaCS | Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, and Tobias Winkler: Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops |
| TACAS Artifact Award | Dominik Schreiber, Aina Niemetz, Mathias Preiner: Massively Parallel Bit-Precise Verification with Bitwuzla and Mallob |
Photo Gallery
Take a look at the photo gallery of ETAPS 2026.
Looking For More Details?
Get back to the ETAPS 2026 homepage to find them!