Sessions of the main conferences from Monday to Thursday.
Lars Birkedal: Higher-Order Probabilistic Relational Separation Logic (unifying speaker)
TACAS: SAT and SMT
TACAS: Synthesis
FASE: Runtime Approaches
Rust
TACAS: Proof Checking
FASE: System Comprehension
Rust
Competition of Software Verification (SV-COMP)
Diversity & Inclusion
TACAS: Logic and Decidability
Invited Tutorial
Rust
Competition of Software Verification (SV-COMP)
Sandrine Blazy: From Operational Semantics to Verified Compilation (unifying speaker)
FASE: Fuzzing and NIER
TACAS: Program Analysis and Proofs
FoSSaCS: Infinite games
Industry Day
Rust
TACAS: Model Checking
ESOP: Effects and Modal Types
FoSSaCS: Categorical semantics
Industry Day
Rust
Ask-me-anything
TACAS: Automata and Learning
Invited Tutorial
Industry Day
Rust
Jérôme Leroux: The Petri Net Reachability Problem (FoSSaCS invited speaker)
TACAS: Software Verification
ESOP: Domain-Specific Languages
FoSSaCS: Automata and Synthesis
Spin: Software Verification
ETAPS General Assembly
TACAS: Probabilistic Systems
ESOP: Bidirectional typing / Session types
FoSSaCS: Types and Programming Languages
Spin: Anniversary Track
Tool demo session
TACAS: Simulations
ESOP: Dependent Types
TACAS: Neural Networks
Spin: Automated Reasoning
Ruzica Piskac (TACAS invited speaker)
TACAS: Testing and Verification
ESOP: Verification and Analysis
FoSSaCS: Logic and Proofs
Spin: Verification Tools
TACAS: Games
ESOP: Verification
FoSSaCS: Infinite-State Systems
Spin: Model Checking
Award Winner Presentations
TACAS: Concurrency
ESOP: Abstract Interpretation
Competition on Software Testing (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 has substantially contributed to the success of the event.
Welcome to the primary European 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.
