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/2019/newsitem/10320/6- --11-April-2019-22nd-European-Joint-Conferences-on -Theory-And-Practice-of-Software-ETAPS-2019-Prague -Czech-Republic DTSTAMP:20181105T141009 SUMMARY:22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019), Prague, Cze ch Republic DTSTART;VALUE=DATE:20190406 DTEND;VALUE=DATE:20190411 LOCATION:Prague, Czech Republic 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 five main annu al conferences, accompanied by satellite workshops . ETAPS 2019 is the twenty-second event in the ser ies. Main conferences: - ESOP: European Symposiu m on Programming - FASE: Fundamental Approaches t o Software Engineering - FoSSaCS: Foundations of Software Science and Computation Structures - POS T: Principles of Security and Trust - TACAS: Tool s and Algorithms for the Construction and Analysis of Systems TACAS '19 hosts the 8th Competition o n Software Verification (SV-COMP). A number of sa tellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HC VS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAP L, SPIoT, SynCoP, VerifyThis. ETAPS conferences s olicit contributions of two types: research papers and tool demonstration papers. ESOP and FoSSaCS a ccept only research papers. FASE, POST and TACAS h ave multiple types of research papers. Submitted p apers must be in English presenting original resea rch. They must be unpublished and not submitted fo r publication elsewhere (this does not apply to ab stracts). In particular, simultaneous submission o f the same contribution to multiple ETAPS conferen ces is forbidden. 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 five main annual conferences, accom panied by satellite workshops. ETAPS 2019 is the t wenty-second event in the series.
\n\nMain
conferences:
\n - ESOP: European Symposium on
Programming
\n - FASE: Fundamental Approaches
to Software Engineering
\n - FoSSaCS: Foundat
ions of Software Science and Computation Structure
s
\n - POST: Principles of Security and Trust<
br>\n - TACAS: Tools and Algorithms for the Const
ruction and Analysis of Systems
\n TACAS '19 h
osts the 8th Competition on Software Verification
(SV-COMP).
A number of satellite works hops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, Inte rAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT, Syn CoP, VerifyThis.
ETAPS confer ences solicit contributions of two types: research papers and tool demonstration papers. ESOP and Fo SSaCS accept only research papers. FASE, POST and TACAS have multiple types of research papers. Subm itted papers must be in English presenting origina l research. They must be unpublished and not submi tted for publication elsewhere (this does not appl y to abstracts). In particular, simultaneous submi ssion of the same contribution to multiple ETAPS c onferences is forbidden.