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/2021/newsitem/11991/27 -March---1-April-2021-24th-European-Joint-Conferen ces-on-Theory-and-Practice-of-Software-ETAPS-2021- Online DTSTAMP:20210128T191312 SUMMARY:24th European Joint Conferences on Theory and Practice of Software (ETAPS 2021), Online DTSTART;VALUE=DATE:20210327 DTEND;VALUE=DATE:20210401 LOCATION:Online 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 will take place before the main conferen ces. TACAS '21 will also host the 10th Competition on Software Verification (SV-COMP). Due to the o ngoing COVID-19 pandemic, ETAPS 2021 will take pla ce virtually only. The four main conferences of E TAPS 2021 solicit contributions of the following t ypes: ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evalu ation papers of max 18 pp, tool demonstration pape rs of max 6 pp + mandatory appendix of max 6 pp, * FoSSaCS: regular research papers of max 18 pp * T ACAS: regular research papers, case study papers a nd regular tool papers of max 16 pp, tool demonstr ation papers of max 6 pp. For definitions of the different paper types and specific instructions, w here they are present, see the webpages of the ind ividual conferences. Submitted papers must be in E nglish presenting original research. They must be unpublished and not submitted for publication else where. In particular, simultaneous submission of t he same contribution to multiple ETAPS conferences is 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 will take place before the main conferences. TACAS '21 will also host the 10th Competition on Software Verification (SV-COMP).

\n\n

Due to the ongoing COVID-1 9 pandemic, ETAPS 2021 will take place virtually o nly.

\n
\n

The four main conferen ces of ETAPS 2021 solicit contributions of the fol lowing types: ESOP: regular research papers of max 25 pp * FASE: regular research papers and empiric al evaluation papers of max 18 pp, tool demonstrat ion papers of max 6 pp + mandatory appendix of max 6 pp, * FoSSaCS: regular research papers of max 1 8 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp.

\n\n

For definitions of the different paper types and speci fic instructions, where they are present, see the webpages of the individual conferences. Submitted papers must be in English presenting original rese arch. They must be unpublished and not submitted f or publication elsewhere. In particular, simultane ous submission of the same contribution to multipl e ETAPS conferences is forbidden.

\n
URL:https://etaps.org/2021 CONTACT:etaps2021 at uni.lu END:VEVENT END:VCALENDAR