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/2022/newsitem/12954/2- --7-April-2022-25th-European-Joint-Conferences-on- Theory-and-Practice-of-Software-ETAPS-2022-Munich- Germany-Hybrid- DTSTAMP:20210916T155010 SUMMARY:25th European Joint Conferences on Theory and Practice of Software (ETAPS 2022), Munich, Ger many (Hybrid) DTSTART;VALUE=DATE:20220402 DTEND;VALUE=DATE:20220407 LOCATION:Munich, Germany (Hybrid) 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, accompanied by satellite workshops: ESO P: European Symposium on ProgrammingFASE: Fundamen tal Approaches to Software EngineeringFoSSaCS: Fou ndations of Software Science and Computation Struc turesTACAS: Tools and Algorithms for the Construct ion and Analysis of Systems A number of satellite workshops and other events will take place before the main conferences. In particular, there will be a PhD student mentoring workshop organized by Cat erina Urban, Wolfgang Ahrendt and Gidon Ernst. TAC AS '22 will host the 11th Competition on Software Verification (SV-COMP). The four main conferences of ETAPS 2022 solicit contributions of the follow ing 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 m ax 18 pp; TACAS: regular research papers, case stu dy papers and regular tool papers of max 16 pp, to ol demonstration papers of max 6 pp. All page limi ts are given excluding the bibliography. For defi nitions of the different paper types and specific instructions, where they are present, see the webp ages of the individual conferences. Submitted pape rs must be in English presenting original research . They must be unpublished and not submitted for p ublication elsewhere. In particular, simultaneous submission of the same contribution to multiple ET APS conferences is also forbidden. X-ALT-DESC;FMTTYPE=text/html:
\n

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, accompanie d by satellite workshops:

\n\n \n\n

A number of satellite workshops and other event s will take place before the main conferences. In particular, there will be a PhD student mentoring workshop organized by Caterina Urban, Wolfgang Ahr endt and Gidon Ernst. TACAS '22 will host the 11th Competition on Software Verification (SV-COMP).\n

\n

The four main conferences of ETAPS 2022 solicit contributions of the following types: ESOP: regular research papers of max 25 pp ; FASE: regular research papers and empirical eval uation papers of max 18 pp, new ideas and emerging results (NIER) papers of max 8 pp, tool demonstra tion papers of max 6 pp (+ mandatory appendix of m ax 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. All page limits are given excluding the bibliography.

\n\n

For definitions of the different paper types and s pecific instructions, where they are present, see the webpages of the individual conferences. Submit ted papers must be in English presenting original research. They must be unpublished and not submitt ed for publication elsewhere. In particular, simul taneous submission of the same contribution to mul tiple ETAPS conferences is also forbidden.

\n URL:https://etaps.org/2022 END:VEVENT END:VCALENDAR