European Association for Theoretical Computer Science (EATCS) is an international organization founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science.

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.