Why choose ETAPS?

• ETAPS is one of the world’s leading for a for research on software science, with a history of more than 25 years.
• The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically.
• ETAPS has low participation fees for all and students in particular.

What is new in 2023?

• ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
• Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
• A plenary session for TOOLympics will be organised.

MAIN CONFERENCES (24-27 April 2023)

• 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.
 
INVITED SPEAKERS

• Unifying speakers: Thomas A. Henzinger (IST, Austria) Véronique Cortier (Loria, France)
• ESOP: Mooly Shagiv (Tel Aviv University, Israel)
• FASE: Sven Apel (Saarland University, Germany)
• Tutorial speakers: TBA