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

SIROCCO 2019 - Second Call for Papers

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

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

EATCS Bulletin Issue 127 is available online

The 127th issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/issue/view/29 featuring

- "On Lamport's "Teaching Concurrency", by U. Abraham

- "Unconstrained Church-Turing thesis cannot possibly be true", by Y. Gurevich

You can download a pdf with the printed version of the bulletin from http://www.eatcs.org/images/bulletin/beatcs127.pdf

APPROX 2019 - Call for Papers

Paper submission deadline: May 3, 2019

Call for Prize Nominations: Prize for Innovation in Distributed Computing 2020

Awarded by the Colloquium on Structural Information and Communication Complexity (SIROCCO).

Deadline for nominations: April 30, 2019.