[TYPES/announce] ETAPS 2012 call for participation, early reg deadline 29 Jan. 2012

Tarmo Uustalu tarmo at cs.ioc.ee
Thu Jan 19 04:20:27 EST 2012

[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.



  European Joint Conferences on Theory And Practice of Software

                    March 24 - April 1, 2012

                        Tallinn, Estonia




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.


    * CC: Compiler Construction
    * ESOP: European Symposium on Programming
    * FASE: Fundamental Approaches to Software Engineering
    * FOSSACS: Foundations of Software Science and Computation
    * New! POST: Principles of Security and Trust
    * TACAS: Tools and Algorithms for the Construction and Analysis of 


    * 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).

    * 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
    * TACAS invited speaker: Holger Hermanns (Saarland University,
      Germany). Quantitative models for a not so dumb grid


See the accepted paper lists and the programme of the main conferences
at the conference website.


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.


Early registration is until Sunday, 29 January 2012.


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.


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.


    * 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


Please do not hesitate to contact the organizers at etaps12 at cs.ioc.ee.

More information about the Types-announce mailing list