PAST EDITIONS ETAPS 2024
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.
Workshops: CMCS 2024 | SynCoP 2024 | VerifyThis 2024 | WRLA 2024 | MARS 2024 | PLACES 2024 | RRRR 2024 | REMARO 2024 | LiVe 2024 | ConVeY 2024-1 |
Workshops: CMCS 2024 | SynCoP 2024 | VerifyThis 2024 | WRLA 2024 | EMW 2024 | COOP 2024 | FMBC 2024 | HCVS 2024 | TERMGRAPH 2024 | Javier Esparza Festschrift |
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)
Invited Speakers
Awards
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 |
| Distinguished Artifact Award (ESOP, FASE, FoSSaCS) | Hrutvik Kanabar, Kacper Korban, and Magnus Myreen: Artifact of Verified Inlining and Specialisation for PureCake |
| Distinguished Artifact Award (ESOP, FASE, FoSSaCS) | Théo Laurent, Meven Lennon-Bertrand, and Kenji Maillard: Artifact of Definitional Functoriality for Dependent (Sub)Types |
| Distinguished Paper Award (TACAS) | Lukas Koenig, Christian Heinzemann, Alberto Griggio, Michaela Klauck, Alessandro Cimatti, Franziska Henze, Stefano Tonetta, Stefan Kueperkoch, Dennis Fassbender, and Michael Hanselmann: Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development |
| Distinguished Paper Award (TACAS) | Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, and Nils Sirrenberg: Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers |
Photo Gallery
Take a look at the photo gallery of ETAPS 2024.
Looking For More Details?
Get back to the ETAPS 2024 homepage to find them!