[TYPES/announce] ETAPS 2012 2nd call for participation, normal reg. closing 26 Feb. 2012

[Tarmo Uustalu]

Things to notice:

- The programme of the main conferences and a draft summary
  programme of the workshops of ETAPS 2012 are on the web.

- Normal registration will close 26 February 2012, in 4 days. 
After that date, late registration fees will apply.


******************************************************************

               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).
      Querying UML class diagrams

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

See a draft summary programme of the workshops at the conference
website.


-- REGISTRATION

Normal registration is until Sunday, 26 February 2012.


-- ACCOMMODATION

Tallinn has developed ample hotel capacity. We request that
participants arrange their accommodation on their own. 


-- 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 at cs.ioc.ee.