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 Université 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 Sebastián 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 Université)
• Laure Petrucci (Sorbonne Paris Nord)

Workshop chairs

• Benedikt Bollig (CNRS)
• Stefan Haar (Inria)

Tutorial chair

• Étienne André (Sorbonne Paris Nord)

Web chairs

• Denis Poitrenaud (Université Paris Cité)
• Stefan Schwoon (ENS Paris-Saclay)

Publicity chairs

• Benoît Barbot (Université Paris-Est Créteil)
• Nathalie Sznajder (Sorbonne Université)

Sponsor chair

• Céline Ghibaudo (Sorbonne Université)

Communication chair

• Anne-Marie Reytier (Sorbonne Université)

Local proceedings chair

• Étienne André (Sorbonne Paris Nord)