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
FOSSACS: Bisimulations
SV-COMP
Diversity & Inclusion
RUST WORKSHOP
TACAS: Model checking
Suguman Bansal (Invited Tutorial)
SV-COMP
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: Prose No More: Formally Specifying ABIs using Realistic Realizability (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 Winner Presentations
TACAS: Quantum & GPU
ESOP: Concurrency 2
Test-Comp
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.
