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

Tarmo Uustalu tarmo at cs.ioc.ee
Wed Feb 22 18:54:28 EST 2012

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.



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

See a draft summary programme of the workshops at the conference


Normal registration is until Sunday, 26 February 2012.


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


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