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:<div>\n  <p>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.</p>\n\n  <p>Main
  conferences:<br>\n  - ESOP: European Symposium on
  Programming<br>\n  - FASE: Fundamental Approaches
  to Software Engineering<br>\n  - FoSSaCS: Foundat
 ions of Software Science and Computation Structure
 s<br>\n  - POST: Principles of Security and Trust<
 br>\n  - TACAS: Tools and Algorithms for the Const
 ruction and Analysis of Systems<br>\n  TACAS '19 h
 osts the 8th Competition on Software Verification 
 (SV-COMP).</p>\n\n  <p>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.</p>\n</div><div>\n  <p>ETAPS conf
 erences solicit contributions of two types: resear
 ch papers and tool demonstration papers. ESOP and 
 FoSSaCS accept only research papers. FASE, POST an
 d TACAS have multiple types of research papers. Su
 bmitted papers must be in English presenting origi
 nal research. They must be unpublished and not sub
 mitted for publication elsewhere (this does not ap
 ply to abstracts). In particular, simultaneous sub
 mission of the same contribution to multiple ETAPS
  conferences is forbidden.</p>\n</div>
URL:http://www.etaps.org/2019
CONTACT:jan.kofron at d3s.mff.cuni.cz
CONTACT:j.vitek at neu.edu
END:VEVENT
END:VCALENDAR