The 2019 Alonzo Church Award

The 2019 Alonzo Church Award committee consisting of Thomas Eiter, Javier Esparza, Radha Jagadeesan, Catuscia Palamidessi, and Natarajan Shankar, have selected Murdoch J. Gabbay and Andrew M. Pitts for the 2019 Church Award, for introducing the theory of nominal representations, a powerful and elegant mathematical model for computing with data involving atomic names.

The EATCS Award 2019 - Laudatio for Thomas Henzinger

The EATCS Awards Committee consisting of Artur Czumaj, Marta Kwiatkowska and Christos Papadimitriou has selected  Thomas Henzinger as the recipient of the EATCS Award 2019. The award will be presented at ICALP 2019, which will take place in Patras, Greece from the 8th till the 12th of July 2019.

SIROCCO 2019: Deadline Extension

Abstracts due: April 4, 2019

Full papers due: April 10, 2019

26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019)

http://cs.gssi.it/sirocco2019 July 1-4, 2019, L’Aquila, Italy

SAGT 2019 - 1st Call for Papers

12th INTERNATIONAL SYMPOSIUM ON ALGORITHMIC GAME THEORY SAGT 2019

http://corelab.ntua.gr/sagt2019

Athens, Greece, Sep. 30 - Oct. 3, 2019

2019 Gödel Prize - Laudation

The 2019 Gödel Prize is awarded to Prof. Irit Dinur for her proof of the PCP Theorem in the paper:

"The PCP theorem by gap amplification", Journal of the ACM, Vol 54 (3), Article 12, 2007. (preliminary version in the proceedings of the 38th Symposium on Theory of Computing, STOC 2006).

2019 Gödel Prize

The 2019 Gödel Prize committee has decided to award this year's prize to Professor Irit Dinur for the paper:

"The PCP theorem by gap amplification", Journal of the ACM, Vol 54 (3), Article 12, 2007. (preliminary version in the proceedings of the 38th Symposium on Theory of Computing, STOC 2006).