ETAPS 2023
European Joint Conferences on Theory and Practice of Software
ETAPS is 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.
ETAPS is supported by the ETAPS Association.
ETAPS 2023, scheduled to happen in Paris at Campus Pierre & Marie Curie, organized by Sorbonne Universite and Sorbonne Paris Nord, is the 26th event of the series.
MAIN CONFERENCES
ESOP: European Symposium on Programming
(PC chair: Thomas Wies, New York University)
FASE: Fundamental Approaches to Software Engineering
(PC chairs: Leen Lambers, BTU Cottbus-Senftenberg, and Sebastian Uchitel, University of Buenos Aires)
FoSSaCS: Foundations of Software Science and Computation Structures
(PC chairs: Pawel Sobocinski, Tallinn University of Technology, and Orna Kupferman, Hebrew University of Jerusalem)
TACAS: Tools and Algorithms for the Construction and Analysis of Systems
(PC chairs: Sriram Sankaranarayanan, University of Colorado, Boulder, CO, and Natasha Sharygina, University of Lugano)
ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.
Organizers
General co-chairs
- Fabrice Kordon (Sorbonne Universite)
- Laure Petrucci (Sorbonne Paris Nord)
Workshop chairs
- Benedikt Bollig (CNRS)
- Stefan Haar (Inria)
Tutorial chair
- Etienne Andre (Sorbonne Paris Nord)
Web chairs
- Denis Poitrenaud (Universite Paris Cite)
- Stefan Schwoon (ENS Paris-Saclay)
Publicity chairs
- Benoit Barbot (Universite Paris-Est Creteil)
- Nathalie Sznajder (Sorbonne Universite)
Sponsor chair
- Celine Ghibaudo (Sorbonne Universite)
Communication chair
- Anne-Marie Reytier (Sorbonne Universite)
Local proceedings chair
- Etienne Andre (Sorbonne Paris Nord)