[We apologise for multiple copies.] Things to notice: - The programme of the main conferences of ETAPS 2012 is on the web. - Early registration is until Sunday, 29 January 2012. - Special rates and/or block bookings for ETAPS 2012 participants at a number of central hotels also expire Sunday, 29 January 2012. We strongly advise that many participants book their accommodation before that date. ****************************************************************** CALL FOR PARTICIPATION: ETAPS 2012 European Joint Conferences on Theory And Practice of Software March 24 - April 1, 2012 Tallinn, Estonia http://www.etaps.org/2012 ****************************************************************** -- 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 six main annual conferences (one of them, POST, being new in 2012), accompanied by satellite workshops. ETAPS 2012 is already the fifteenth event in the series. -- MAIN CONFERENCES -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * New! POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- * Unifying speaker 1: Bruno Blanchet (INRIA / ENS / CNRS, France). Security protocol verification: Symbolic and computational models * Unifying speaker 2: Georg Gottlob (Univ. of Oxford, UK). TBA * CC invited speaker: Francois Bodin (IRISA and CAPS Entreprise, France). Programming heterogeneous many-cores using directives * ESOP invited speaker: Bjarne Stroustrup (Texas A&M Univ., USA) Foundations of C++ * FASE invited speaker: Wil van der Aalst (Techn. Univ. of Eindhoven, Netherlands). Distributed process discovery and conformance checking * FoSSaCS invited speaker: Glynn Winskel (Univ. of Cambridge, UK). Bicategories of concurrent games * POST invited speaker: Cynthia Dwork (Microsoft Research, Silicon Valley, USA). Differential privacy and the power of (formalizing) negative thinking * TACAS invited speaker: Holger Hermanns (Saarland University, Germany). Quantitative models for a not so dumb grid -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS -- 21 satellite workshops will take place before or after ETAPS 2012. BX, FICS, FIT, GT-VMT, iWIGP, MBT, MSFP, VSSE, WRLA will take place in the weekend on 24-25 March 2012. ACCAT, AIPA, Bytecode, CMCS, DICE, FESCA, Graphite, HAS, LDTA, Linearity, PLACES, QAPL are scheduled for 31 March-1 April 2012. -- REGISTRATION Early registration is until Sunday, 29 January 2012. -- ACCOMMODATION Tallinn has developed ample hotel capacity. We request that participants arrange their accommodation on their own. We have negotiated special rates and made block bookings with a selection of centrally located hotels. A number of those expire Sunday, 29 January 2012. We strongly advise that many participants book their accommodation before that date. -- HOST CITY -- Tallinn, a city of 412,000 people, is the capital and largest city of Estonia, a small EU member country in Northern Europe, bordering Russia to the East and Latvia to the south. Located in the north of the country, on the southern shores of the Gulf of Finland, opposite Helsinki in Finland, Tallinn is most well known for its picturesque medieval Old Town, a UNESCO World Heritage site. But it also has a vivid cultural scene, outperforming most European centres of similar size. In 2011, Tallinn, along with Turku in Finland, was the Cultural Capital of Europe. Tallinn is easy to travel to. Estonia is part of Schengen and the Eurozone. The Lennart Meri International Airport of Tallinn (TLL) is only 4 kms from the city centre. -- ORGANIZERS * General chair: Tarmo Uustalu * Workshops chair: Keiko Nakata * Organizing committee: James Chapman, Juhan Ernits, Tiina Laasma, Monika Perkmann and colleagues * Host institution: Institute of Cybernetics at Tallinn University of Technology -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps12@cs.ioc.ee. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]