Weekend workshops and sessions of the main conferences.
Workshops: LiVe 2025 | RRRR 2025 | TADM 2025 | VerifyThis |
Workshops: ASQAP 2025 | EMW 2025 | FMBC 2025 | PLACES 2025 | VerifyThis | VSS 2025 |
Ina Schaefer: Correctness-by-Construction—Past, Present and Future (unifying speaker)
FASE: AI and Software Quality
TACAS: Program Analysis
FOSSACS: Games and Logics
RUST WORKSHOP
TACAS: ATP & Rewriting
RUST WORKSHOP
FOSSACS: Bisimulations
Diversity & inclusion
SVComp
TACAS: Model checking
Invited Tutorial
SVComp
RUST WORKSHOP
José Meseguer
TACAS: LTL
ESOP: Types
FASE: MDE
FOSSACS: Semantics
RUST WORKSHOP
TACAS: Verification I
ESOP: Static Analysis
FASE: Fundamentals
RUST WORKSHOP
Ask-me-anything
TACAS: SAT/SMT
Invited Tutorial
RUST WORKSHOP
Amal Ahmed
TACAS: Proofs and certificates
ESOP: Semantics
FOSSACS: Time and Concurrency
SPIN
INDUSTRY DAY
ETAPS General Assembly
TACAS: Synthesis
ESOP: Concurrency 1
SPIN
INDUSTRY DAY
Tool demo session
TACAS: Equivalence checking
ESOP: Fresh Perspectives
FOSSACS: Programs
SPIN
INDUSTRY DAY
Matt Dwyer
TACAS: Games
ESOP: Probabilistic Programming
SPIN
TACAS: Verification II
ESOP: Verification
SPIN
Award session
TestComp
TACAS: Quantum & GPU
ESOP: Concurrency 2
SPIN
TestComp
From critically acclaimed researchers to the world's most outrageous scientists, ETAPS speakers will leave you speechless.
We would like to thank our sponsors who have substantially contributed to the success of the event.
Welcome to the primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences ESOP, FASE, FoSSaCS and TACAS, accompanied by satellite workshops.
