****************************************************************** CALL FOR PARTICIPATION ETAPS 2017 20th European Joint Conferences on Theory And Practice of Software ETAPS 2017 Uppsala, Sweden, 22-29 April 2017 http://www.etaps.org/2017 ****************************************************************** -- 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 2017 is the twentieth event in the series. -- MAIN CONFERENCES (24-28 April) -- * ESOP: European Symposium on Programming (PC chair Hongseok Yang, University of Oxford, UK) * FASE: Fundamental Approaches to Software Engineering (PC chairs Marieke Huisman, Universiteit Twente, The Netherlands, and Julia Rubin, University of British Columbia, Canada) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Javier Esparza, Technische Universität München, Germany, Andrzej Murawski, University of Warwick, UK) * POST: Principles of Security and Trust (PC chairs Matteo Maffei, Universität des Saarlandes, Germany, Mark D. Ryan, University of Birmingham, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Axel Legay, INRIA Rennes, France, and Tiziana Margaria, LERO, Ireland) TACAS '17 hosts the 6th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Michael Ernst (University of Washington, USA) Kim G. Larsen (Aalborg University, DK) * FoSSaCS invited speaker: Joel Ouaknine (University of Oxford, UK) * TACAS invited speaker: Dino Distefano (Facebook and Queen Mary University of London, UK) -- UNIFYING PUBLIC LECTURE Serge Abiteboul (DI, INRIA Paris & ENS Cachan, France) -- INVITED TUTORIALS Véronique Cortier (LORIA, CRNS, France) Kenneth McMillan (Microsoft Research Redmond, USA) -- CONTRIBUTED PAPERS -- See the accepted paper lists at the conference website. -- SATELLITE EVENTS (22-23 April, 29 April) -- 17 satellite workshops and other events will take place before or after ETAPS 2017. Check their calls for papers and consider contributing! DICE-FOPARA, GaLoP, GaM, SynCop-PV, VerifyThis (22-23 April) FESCA, SNR (22 April) HotSpot, MBT, QAPL, SannellaFest (23 April) BX, CREST, LiVe, MARS, PLACES, VPT (29 April) -- REGISTRATION -- Early registration is until Sunday, 12 March 2017 (23:59 GMT+1). http://www.etaps.org/2017/registration -- ACCOMMODATION -- The organizers have negotiated special rates from several hotels in Uppsala. To benefit from those, follow the instructions on the conference website. The offers expire on different dates. -- HOST CITY -- Uppsala city holds a rich history, having for long periods been the political, religious and academic centre of Sweden. Uppsala University is over 500 years old and ranked among the top 100 in the World and has hosted many great scientists over the years, for instance Carl von Linné, Anders Celsius and Anders Jonas Ångström. The proximity to the capital of Sweden, Stockholm, provides additional benefits as a potential site for arranging both pre- and post congress tours, as well as for excursions or tourism. -- HOST INSTITUTION -- ETAPS 2017 is hosted by the Department of Information Technology, Uppsala University. -- ORGANIZERS Parosh Abdulla (General chair), Mohamed Faouzi Atig, Andreina Francisco, Kaj Lampka, Philipp Rümmer, Konstantinos Sagonas, Björn Victor, Wang Yi, Tjark Weber, Yunyun Zhu