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.

Presburger Award for Young Scientists 2019 - Call for Nominations

Deadline: December 31st, 2018

Starting in 2010, the European Association for Theoretical Computer Science (EATCS) established the Presburger Award. The Award is conferred annually at the International Colloquium on Automata, Languages and Programming (ICALP) to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers. The Award is named after Mojzesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (which today is called Presburger arithmetic) as a student in 1929.

The Salomaa Prize 2018 was given to Dr. Jean-Éric Pin

The first international Salomaa Prize was given recently to Dr. Jean-Éric Pin from Paris. The prize ceremonies took place in Tokyo, in the annual DLT (Developments in Language theory) conference.

CSR 2019: 1st Call for Papers

14th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA (CSR 2019)

July 1-5, 2019, Novosibirsk, Russia

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

EATCS representatives in the Goedel Award Committee

Professor Orna Kupferman is stepping out since her term of service ended.

EATCS decided to replace Professor Orna Kupferman with Professor Robert Krauthgamer.

On behalf of EATCS , Professor Giuseppe Persiano is also a Member of the committee for another year.

MFCS 2018 best paper and best student paper award

Congratulations to the best paper and best student paper winners of MFCS 2018

The EATCS-IPEC Nerode Prize winners 2018

CONGRATULATIONS to NERODE PRIZE WINNERS Stefan Kratsch and Magnus Wahlström for Compression via Matroids: A Randomized Polynomial Kernel for Odd Cycle Transversal (ACM Trans. Algorithms 10(4): 20:1-20:15, 2014).