PAST EDITIONS ETAPS 2023
22–27 April 2023
Paris, France
ETAPS 2023 took place in Paris at Sorbonne Université and Institut Henri Poincaré and was organized by Sorbonne Université and Sorbonne Paris Nord. In addition to the work presented at the satellite events during the weekend, 124 papers were accepted and presented at the main conferences ESOP, FASE, FoSSaCS and TACAS. The 29th International SPIN Symposium on Model Checking of Software was co-located with ETAPS.
Programme Overview
Sessions of the main conferences from Monday to Thursday.
Workshops: LiVe 2023 | PLACES'23 | RRRR 2023 | SynCoP 2023 | TADM 2023 | TLA | VerifyThis 2023 |
Workshops: COOP 2023 | CREST 2023 | HCVS-23 | EMW 2023 | RW 2023 | SynCoP 2023 | TiCSA | VerifyThis 2023 | WMCC2023 |
Thomas Henzinger: A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems (unifying talk)
TACAS: Model Checking I
TACAS: Machine Learning/Neural Networks
ESOP: Static Analysis
FoSSaCS: Programming Languages
TACAS: Automata
TACAS: SV-COMP
ESOP: Type Systems
FoSSaCS: Semantics
TACAS: Proofs
TACAS: SV-COMP
Invited tutorial
Mooly Sagiv: Scaling Formal Verification to Realistic Code with Applications to DeFi Verification (ESOP invited talk)
TACAS: Constraint Solving/Blockchain
ESOP: Semantics and Type Theory
FoSSaCS: Counters
Ask-Me-Anything
TACAS: Markov Chains/Stochastic Control
TACAS: Verification I
ESOP: Concurrency
FoSSaCS: Bisimulation
TACAS: Tool Demos
Invited Tutorial
Diversity and Inclusion Activities
Véronique Cortier: Electronic Voting: Design And Formal Verification (unifying talk)
TACAS: Combinatorial Optimization / Theorem Proving
TACAS: Tools (Regular Papers)
FASE: Requirements, Models and AI
FoSSaCS: Formal Languages
SPIN (co-located)
ETAPS General Assembly
TACAS: Synthesis I
ESOP: Probabilistic and Quantum Programming
FASE: Runtime Monitoring & Enforcement
FoSSaCS: Formal methods
SPIN (co-located)
SPIN (co-located)
TOOLympics
Sven Apel: Brains on Code: Towards a Neuroscientific Foundation of Program Comprehension (FASE invited talk)
TACAS: Verification II
TACAS: Graphs/Probabilistic Systems
FASE: Analysis & Verification
FoSSaCS: Verification
SPIN (co-located)
TACAS: Model Checking II
FASE: Testing
Awards
SPIN (co-located)
TACAS: Monitoring/Program Analysis
TACAS: Synthesis II
FASE: Test-Comp
Invited Speakers
Awards
The Award-Winning Papers, Theses and Tools of ETAPS 2023
| EATCS Best Paper Award | Pascal Baumann, Flavio D'Alessandro, Moses Ganardi, Oscar Ibarra, Ian McQuillan, Lia Schütze and Georg Zetzsche: Unboundedness problems for machines with reversal-bounded counters (FoSSaCS) |
| EASST Best Paper Award | Pantazis Deligiannis, Aditya Senthilnathan, Fahad Nayyar, Chris Lovett and Akash Lal: Controlled Concurrency Testing for C# Programs with Coyote (TACAS) |
| EAPLS Best Paper Award | Daniel Lundén, Gizem Çaylak, Fredrik Ronquist and David Broman: Automatic Alignment in Higher-Order Probabilistic Programming Languages |
| SCP Best Tool Paper Award | Raven Beutner and Bernd Finkbeiner: AutoHyper: Explicit-State Model Checking for HyperLTL |
| Doctoral Dissertation Award | Kaushik Mallik: Pushing the Barriers in Controller Synthesis for Cyber-Physical Systems |
| Test-of-Time Award | Dirk Beyer and Stefan Löwe: Explicit-State Software Model Checking Based on CEGAR and Interpolation |
| Test-of-Time Tool Award | Hubert Garavel, Frédéric Lang, Radu Mateescu, and Wendelin Serwe: CADP: Construction and Analysis of Distributed Processes |
Photo Gallery
Take a look at the photo gallery of ETAPS 2023.
Looking For More Details?
Get back to the ETAPS 2023 homepage to find them!