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 | TLA | 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
Suguman Bansal (Invited Tutorial)
SVComp
RUST WORKSHOP
José Meseguer: Capturing System Designs with Formal Executable Specifications (FASE invited speaker)
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
Arun Ross (Invited Tutorial)
RUST WORKSHOP
Amal Ahmed (ESOP invited speaker)
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: Leveraging Abstractions for Validation of Machine Learning Models (unifying speaker)
TACAS: Games
ESOP: Probabilistic Programming
SPIN
TACAS: Verification II
ESOP: Verification
SPIN
Award session
TestComp
TACAS: Quantum & GPU
ESOP: Concurrency 2
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.
