6–11 April 2024
Luxembourg City, Luxembourg

ETAPS 2024
European joint conferences on theory and practice of software

ETAPS 2024 is organized by Interdisciplinary Centre for Security, Reliability and Trust (SnT) / University of Luxembourg.

Programme Overview

Sessions of the main conferences from Monday to Thursday.

Monday 08 April

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
SV-COMP
Diversity & Inclusion

TACAS: Logic and Decidability
Invited Tutorial
Rust
SV-COMP

Tuesday 09 April

Sandrine Blazy: From Operational Semantics to Verified Compilation (unifying speaker)

FASE: System Comprehension
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

Wednesday 10 April

Jérôme Leroux: The Petri Net Reachability Problem (FoSSaCS invited speaker)

TACAS: Software Verification
ESOP: Domain-Specific Languages
FOSSACS: Automata and synthesis
Spin

ETAPS General Assembly

TACAS: Probabilistic Systems
ESOP: Bidirectional typing / Session types
FOSSACS: Types and programming languages
Spin
Tool demo session

TACAS: Simulations
ESOP: Dependent Types
TACAS: Neural Networks
Spin

Thursday 11 April

Ruzica Piskac (TACAS invited speaker)

TACAS: Testing and Verification
ESOP: Verification and Analysis
FOSSACS: Logic and proofs
Spin

TACAS: Games
ESOP: Verification
FOSSACS: Infinite-state systems
Spin
Test-Comp
Award winner presentations

TACAS: Concurrency
ESOP: Abstract Interpretation
Spin
Test-Comp

Invited Speakers

From critically acclaimed researchers to the world's most outrageous scientists, ETAPS speakers will leave you speechless.

Latest News

Hello image

About ETAPS

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.

More About ETAPS