****************************************************************** CALL FOR PARTICIPATION 22nd European Joint Conferences on Theory And Practice of Software ETAPS 2019 Prague, Czech Republic, 6-11 April 2019 http://www.etaps.org/2019 https://conf.researchr.org/home/etaps-2019 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series. -- MAIN CONFERENCES (8-11 April) -- * ESOP: European Symposium on Programming (PC chair Luís Caires, Universidade Nova de Lisboa, Portugal) * FASE: Fundamental Approaches to Software Engineering (PC chairs Reiner Hähnle, Technische Univ Darmstadt, Germany, and Wil van der Aalst, RWTH Aachen University, Germany) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Mikolaj Bojanczyk, University of Warsaw, Poland, and Alex Simpson, University of Ljubljana, Slovenia) * POST: Principles of Security and Trust (PC chairs Flemming Nielson, Danmarks Tekniske Univ, Denmark, and David Sands, Chalmers Tekniska Högskola, Sweden) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Tomás Vojnar, Brno Univ of Technology, Czech Rep, and Lijun Zhang, Chinese Academy of Sciences, China) TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP) and TOOLympics, an event to celebrate the achievements of the various competitions or comparative evaluations. -- INVITED TALKS AND TUTORIALS -- * Unifying speakers: Marscha Chechik (University of Toronto, Canada) Kathleen Fisher (Tufts University, USA) * FoSSaCS invited speaker: Thomas Colcombet (IRIF, France) * TACAS invited speaker: Cormac Flanagan (University of California at Santa Cruz, USA) * Tutorial speakers: Dirk Beyer (LMU München, Germany) Cesare Tinelli (University of Iowa, USA) -- CONTRIBUTED PAPERS -- See the accepted paper lists at webpages of the individual conferences. For the 2nd year, the proceedings of the ETAPS main conferences in LNCS/ARCoSS will appear in Gold Open Access. -- PROGRAM -- See the full program here: https://conf.researchr.org/program/etaps-2019/program-etaps-2019 -- SATELLITE EVENTS (6-7 April) -- 18 satellite workshops and other events will take place before ETAPS 2019. DICE-FOPARA, GaLoP, HSB, QAPL, SynCoP, VerifyThis, TOOLympics (6-7 April) BEHAPI, InterAVT, LiVe, MeTRiD, PERR (6 April) CREST, HCVS, PLACES, SPIoT, SYNTCOMP Camp, Mentoring Workshop (7 April) -- REGISTRATION -- Early registration is until Sunday, 11 March 2019, https://regmaster4.com/2019conf/ETAPS19/register.php -- HOST CITY AND VENUE -- ETAPS 2019 will take place in the centre of Prague, the beautiful capital of the Czech Republic. The main conferences will be held at Orea Hotel Pyramida, while the workshops will take place at the School of Computer Science, Faculty of Mathematics and Physics, Charles University. Both are close to the Prague Castle. For the special deal for accommodation at the conference hotel, see the conference website. -- HOST INSTITUTION -- ETAPS 2019 is hosted by the School of Computer Science of the Charles University. -- ORGANIZERS Jan Kofron and Jan Vitek (general chairs), Barbora Buhnova, Milan Ceska, Ryan Culpepper, Vojtech Horky, Paley Li, Petr Maj, Artem Pelenitsyn, David Safranek -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at jan.kofron@d3s.mff.cuni.cz and j.vitek@neu.edu.