Hello image


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.

Monday 24 April

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
ESOP: Type Systems
FoSSaCS: Semantics

TACAS: Proofs
Invited tutorial

Tuesday 25 April

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

TACAS: Markov Chains/Stochastic Control
TACAS: Verification I
ESOP: Concurrency
FoSSaCS: Bisimulation

TACAS: Tool Demos
Invited Tutorial
Diversity and Inclusion Activities

Wednesday 26 April

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)

Thursday 27 April

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
SPIN (co-located)

TACAS: Monitoring/Program Analysis
TACAS: Synthesis II
FASE: Test-Comp


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.

ETAPS photos

Looking For More Details?

Get back to the ETAPS 2023 homepage to find them!