Hello image


6–11 April 2024
Luxembourg City, Luxembourg

ETAPS 2024 took place in Luxembourg City in the Parc Hotel Alvisse, and was organized by Interdisciplinary Centre for Security, Reliability and Trust (SnT) / University of Luxembourg, namely by Magali Martin, Peter B. Rønne, and Peter Y. A. Ryan. In addition to the work presented at the satellite events during the weekend, 117 papers were accepted and presented at the main conferences ESOP, FASE, FoSSaCS and TACAS. The first ETAPS Industry Day was organized and attracted a lot of attention. The 30th International SPIN Symposium on Model Checking of Software and the RUST workshop were co-located with ETAPS.

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: Synthesis
FASE: Runtime Approaches

TACAS: Proof Checking
FASE: System Comprehension
Competition of Software Verification (SV-COMP)
Diversity & Inclusion

TACAS: Logic and Decidability
Invited Tutorial
Competition of Software Verification (SV-COMP)

Tuesday 09 April

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

FASE: Fuzzing and NIER
TACAS: Program Analysis and Proofs
FoSSaCS: Infinite games
Industry Day

TACAS: Model Checking
ESOP: Effects and Modal Types
FoSSaCS: Categorical semantics
Industry Day

TACAS: Automata and Learning
Invited Tutorial
Industry Day

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: 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

Thursday 11 April

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)


The Award-Winning Papers, Theses and Tools of ETAPS 2024

EATCS Best Paper Award Paul Fiterau-Brostean, Simon Dierl, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist: Scalable Tree-based Register Automata Learning (TACAS)
EASST Best Paper Award Nils Husung, Clemens Dubslaff, Holger Hermanns, and Maximilian Alexander Köhl: OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust (TACAS)
EAPLS Best Paper Award Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann and Tobias Winkler: Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
Best Tool Paper Award Raphaël Monat, Aymeric Fromherz, and Denis Merigoux: Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
Doctoral Dissertation Award Yotam Feldman: Towards a Theory of Learning Inductive Invariants
Test-of-Time Award Luca Cardelli and Andrew D. Gordon: Mobile Ambients
Test-of-Time Tool Award Marta Kwiatkowska, Gethin Norman, and David Parker: PRISM
ETAPS Lifetime Award Bernhard Steffen: For his lifetime contribution to the ETAPS conference and community

Photo Gallery

Take a look at the photo gallery of ETAPS 2024.

ETAPS photos

Looking For More Details?

Get back to the ETAPS 2024 homepage to find them!