22 - 27 April 2023, 26th European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, France
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: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FoSSaCS: Foundations of Software Science and Computation Structures
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
accompanied by satellite workshops.
ETAPS 2023 is the twenty-sixth event in the series. New in 2023 is:
- The SPIN symposium will be co-located with ETAPS.
- TACAS will use a double-blind reviewing process.
- 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.
- There will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.
ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.
The four main conferences of ETAPS 2023 solicit contributions of the following types: ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, new ideas and emerging results (NIER) papers of max 8 pp, tool demonstration papers of max 6 pp (+ mandatory appendix of max 6 pp), * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp (+ mandatory appendix of max 6 pp). Submitted papers must be in English, presenting original research. They must be unpublished and not submitted for publication elsewhere.
Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artefact submitted shortly after the paper. The artefact will be evaluated, and the outcome will be considered in the paper's acceptance decision. Authors of research papers and case study papers submitted to TACAS may submit an artefact for evaluation after receiving the acceptance notifications. ESOP, FASE, and FoSSaCS will also accept artefact submissions (participation in it is voluntary). In either of the latter cases, the outcome of the artefact evaluation will not change the paper acceptance decision.