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

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