****************************************************************** CALL FOR PARTICIPATION ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016 http://www.etaps.org/2016 ****************************************************************** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (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 2016 is already the nineteenth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- Unifying speakers: Andrew D Gordon (MSR Cambridge and University of Edinburgh, UK) Rupak Majumdar (MPI Kaiserslautern, Germany) ESOP invited speaker: Cristina Lopes (University of California at Irvine, USA) FASE invited speaker: Oscar Nierrstrasz (Universität Bern, Switzerland) POST invited speaker: Vitaly Shmatikov (Cornell Tech, USA) -- TUTORIALS Peter Ryan (University of Luxembourg, Luxembourg) Grigore Rosu (University of Illinois at Urbana-Champaign, USA) -- CONTRIBUTED PAPERS -- See the accepted paper lists and the programme of the main conferences at the conference website. http://www.etaps.org/2016/programme -- SATELLITE EVENTS (2-3 and 8 April) -- 22 satellite workshops will take place before or after ETAPS 2016. CASSTING, CMCS, DICE, GaLoP, GaM, QAPL, WRLA (2-3 April) RAC, VerifyThis, VPT, VSSE (2 April) FESCA, FMSPLE, HCVS, HotSpot, SENSATION, SynCop (3 April) BX, CREST, MSFP, PLACES, TermGraph (8 April) -- REGISTRATION -- Early registration is until Tuesday, 1 March 2016 (23:59 GMT+1). Normal-rate registration is until Thursday, 31 March 2016 (23:59 GMT+1). http://www.etaps.org/2016/registration -- ACCOMMODATION -- We request that participants arrange their accommodation on their own. See our recommendations on the conference website. -- HOST CITY -- Eindhoven is located in the province of North Brabant in the south of the Netherlands. It is the fifth-largest city of the Netherlands. The city is well known for modern art, design and technology. The main airport of the Netherlands is the Amsterdam Airport, Schiphol. All major airlines fly to Schiphol, and Schiphol has a direct and very frequent train connection to Eindhoven. Eindhoven also has a small international airport, Eindhoven Airport, with direct connections to more than thirty destinations in Europe. -- ORGANIZERS -- General chair: Jan Friso Groote Workshop chairs: Erik de Vink and Julien Schmaltz Publicity chair: Anton Wijs --- HOST INSTITUTION -- ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische Universiteit Eindhoven. -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at j.f.groote@tue.nl, a.j.wijs@tue.nl. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]