Presburger Award 2018

The 2018 Presburger Committee consisting of Monika Henzinger, Stephan Kreutzer (chair) and Jukka Suomela has completed its deliberations and unanimously selected Aleksander Mądry as recipient of the 2018 EATCS Presburger Award for young scientists.

EATCS Distinguished Dissertation Award for 2018

EATCS is proud to announce that, after examining the nominations received from our research community, the EATCS Distinguished Dissertation Award Committee 2018, consisting of Giuseppe Persiano (chair), Elvira Mayordomo, Dale Miller, Jaroslav Nesetril, Damian Niwinski, David Peleg and Vladimiro Sassone has selected the following three theses for the EATCS Distinguished Dissertation Award for 2018:

The 12th International Conference on Reachability Problems (RP'18)

24 - 26 September 2018 | Aix-Marseille University, FR | https://rp2018.lis-lab.fr/

The 12th International Conference on Reachability Problems will be hosted at Aix-Marseille University, organised by the Laboratory of Computer and System Sciences.

CSR 2018: Call for Participation

Call for Participation

The 13th International Computer Science Symposium in Russia, CSR-2018

Moscow, Russia June 6-10, 2018

https://logic.pdmi.ras.ru/csr2018/

The 2018 Alonzo Church Award

The 2018 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Tomas Feder and Moshe Y. Vardi for fundamental contributions to the computational complexity of constraint-satisfaction problems. Their contributions appeared in two papers:

EATCS Fellows class of 2018 named

The EATCS has recognized five of its members for their outstanding contributions to theoretical computer science by naming them as recipients of an EATCS fellowship.