BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2023/newsitem/13849/22 ---27-April-2023-26th-European-Joint-Conferences-o n-Theory-and-Practice-of-Software-ETAPS-2023-Paris -France DTSTAMP:20220906T143301 SUMMARY:26th European Joint Conferences on Theory and Practice of Software (ETAPS 2023), Paris, Fran ce DTSTART;VALUE=DATE:20230422 DTEND;VALUE=DATE:20230427 LOCATION:Paris, France DESCRIPTION:ETAPS is the primary European forum fo r academic and industrial researchers working on t opics relating to software science. ETAPS, establi shed in 1998, is a confederation of four annual co nferences: ESOP: European Symposium on Programming FASE: Fundamental Approaches to Software Engineeri ngFoSSaCS: Foundations of Software Science and Com putation StructuresTACAS: Tools and Algorithms for the Construction and Analysis of Systems accompan ied by satellite workshops. ETAPS 2023 is the twe nty-sixth event in the series. New in 2023 is: Th e SPIN symposium will be co-located with ETAPS. TA CAS will use a double-blind reviewing process.ESOP , FASE, and newly also FoSSaCS welcome voluntary s ubmissions 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 wi nners will take place.A plenary session for TOOLym pics will be organised.There will be a PhD student mentoring workshop organised by Caterina Urban an d Wolfgang Ahrendt. ETAPS'23 will also host anothe r edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns. The four main conferences of ETAPS 2023 solicit contributions o f the following types: ESOP: regular research pape rs of max 25 pp * FASE: regular research papers an d empirical evaluation papers of max 18 pp, new id eas and emerging results (NIER) papers of max 8 pp , tool demonstration papers of max 6 pp (+ mandato ry appendix of max 6 pp), * FoSSaCS: regular resea rch 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 p p (+ mandatory appendix of max 6 pp). Submitted pa pers must be in English, presenting original resea rch. They must be unpublished and not submitted fo r publication elsewhere. Regular tool paper and t ool demonstration paper submissions to TACAS must be accompanied by an artefact submitted shortly af ter the paper. The artefact will be evaluated, and the outcome will be considered in the paper's acc eptance decision. Authors of research papers and c ase study papers submitted to TACAS may submit an artefact for evaluation after receiving the accept ance notifications. ESOP, FASE, and FoSSaCS will a lso accept artefact submissions (participation in it is voluntary). In either of the latter cases, t he outcome of the artefact evaluation will not cha nge the paper acceptance decision. X-ALT-DESC;FMTTYPE=text/html:
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.
The four main conferences of ETAPS 2023 solicit contributions of the followi ng types: ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical e valuation papers of max 18 pp, new ideas and emerg ing results (NIER) papers of max 8 pp, tool demons tration papers of max 6 pp (+ mandatory appendix o f 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 (+ mandator y appendix of max 6 pp). Submitted papers must be in English, presenting original research. They mus t be unpublished and not submitted for publication elsewhere.
\nRegular tool paper and tool demonstration paper submissions to TACAS must be a ccompanied by an artefact submitted shortly after the paper. The artefact will be evaluated, and the outcome will be considered in the paper's accepta nce decision. Authors of research papers and case study papers submitted to TACAS may submit an arte fact for evaluation after receiving the acceptance notifications. ESOP, FASE, and FoSSaCS will also accept artefact submissions (participation in it i s voluntary). In either of the latter cases, the o utcome of the artefact evaluation will not change the paper acceptance decision.