糖心TV

The 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), the main European conference in Theoretical Computer Science, will take place 9 - 13 July 2012 at the , UK.

The conference is also one of the , celebrating the Life and Work, and Legacy of . Prof 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: , , and .

• and awarded the 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 and , and , and and Amir Ronen.
• The Presburger Award Committee 2012, consisting of Monika Henzinger, Antonin Kucera, and Stefano Leonardi (chair), has unanimously decided to propose (Carnegie Mellon University, Pittsburgh) and (AT&T Labs) as joint recipients of the 2012 EATCS Presburger Award for young scientists.
• 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 (Rice University).

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