ETAPS is the primary European forum for academic and indust rial researchers working on topics relating to sof tware science. ETAPS, established in 1998, is a co nfederation of four annual conferences:
\naccompanied by satellite workshops.
\nETAPS 2023 is the twenty-sixth event in the ser ies. New in 2023 is:
\nETAPS'23 will also host another edition of TOOLympics, organise d by Dirk Beyer, Fabrice Kordon, and Arnd Hartmann s.
\nThe four main conference s of ETAPS 2023 solicit contributions of the follo wing types: ESOP: regular research papers of max 2 5 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, new ideas and eme rging results (NIER) papers of max 8 pp, tool demo nstration papers of max 6 pp (+ mandatory appendix of max 6 pp), * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, cas e study papers and regular tool papers of max 16 p p, tool demonstration papers of max 6 pp (+ mandat ory appendix of max 6 pp). Submitted papers must b e in English, presenting original research. They m ust be unpublished and not submitted for publicati on elsewhere.
\nRegular tool paper and too l demonstration paper submissions to TACAS must be accompanied by an artefact submitted shortly afte r the paper. The artefact will be evaluated, and t he outcome will be considered in the paper's accep tance decision. Authors of research papers and cas e study papers submitted to TACAS may submit an ar tefact for evaluation after receiving the acceptan ce notifications. ESOP, FASE, and FoSSaCS will als o accept artefact submissions (participation in it is voluntary). In either of the latter cases, the outcome of the artefact evaluation will not chang e the paper acceptance decision.
\n