The 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS), will take place 9 - 13 July 2012 at the University of Warwick, UK.

The conference is also one of the Alan Turing Centenary Celebration events, celebrating the Life and Work, and Legacy of Alan Turing. Prof David Harel from the Weizmann Institute of Science, will give a special Alan Turing talk during the conference.

During the conference, there will be presented three special awards: EATCS/ACM SIGACT Goedel Prize 2012, EATCS Award 2012, and EATCS Presburger Award 2012.

• EATCS and ACM's Special Interest Group on Algorithms and Computation Theory (SIGACT) awarded the Goedel Prize 2012 to three groups of researchers for their contributions to understanding how selfish behavior by users and service providers impacts the behavior of the Internet and other complex computational systems. The papers were presented by Elias Koutsoupias and Christos H. Papadimitriou, Tim Roughgarden and Éva Tardos, and Noam Nisan and Amir Ronen.
• The Presburger Award Committee 2012, consisting of Monika Henzinger, Antonin Kucera, and Stefano Leonardi (chair), has unanimously decided to propose Venkatesan Guruswami (Carnegie Mellon University, Pittsburgh) and Mihai Patrascu (AT&T Labs, New York) as joint recipients of the 2012 EATCS Presburger Award for young scientists. (pdf)
• The EATCS Awards Committee consisting of Leslie Ann Goldberg, Friedhelm Meyer auf der Heide and Eugenio Moggi (chair), has unanimously decided to give the 2012 EATCS Award to Moshe Vardi (Rice University). (pdf)

The main conference will be preceded by a series of workshops taking place on Sunday, July 8.

• Track A: Algorithms, Complexity and Games

  • PC Chair: Kurt Mehlhorn, Max Planck Institute for Informatics in Saarbrücken, Germany

• Track B: Logic, Semantics, Automata and Theory of Programming

  • PC Chair: Andrew Pitts, University of Cambridge

• Track C: Foundations of Networked Computation

  • PC Chair: Roger Wattenhofer, ETH Zürich

• Submission: 23:59 GMT on February 21, 2012
• Notification: April 17 2012
• Final manuscript due: May 8, 2012
• The conference: July 9 - 13, 2012

• Gilles Dowek (INRIA Paris)
• Kohei Honda (Queen Mary London)
• Stefano Leonardi (Sapienza University of Rome)
• Daniel A. Spielman (Yale)
• Berthold Vöcking (RWTH Aachen)
• Alan Turing talk: David Harel (The Weizmann Institute of Science)