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.

The 2026 Gödel Prize

The 2026 Gödel Prize is awarded to

Ilias Diakonikolas, Gautam Kamath, Daniel Kane, Jerry Li, Ankur Moitra and Alistair Stewart

for their paper

"Robust Estimators in High Dimensions without the Computational Intractability", SIAM Journal on Computing, 48(2): 742-864, 2019.

The EATCS Award 2026 - Laudation for Yishay Mansour

The EATCS Award committee selects

Yishay Mansour

as the recipient of the 2026 EATCS Award.

Presburger Award 2026 – Laudatio

The 2026 Presburger Award Committee has chosen Vincent Cohen-Addad and Gautam Kamath as joint recipients of the 2026 EATCS Presburger Award for Young Scientists.

EATCS honours three outstanding PhD theses with the EATCS Distinguished Dissertation Award for 2025

EATCS is proud to announce that, after examining the nominations received from our research community, the EATCS Distinguished Dissertation Award Committee 2025, consisting of Standa Zivny (chair), Petra Berenbrink, Loukas Georgiadis, Kasper Green Larsen and Emanuela Merellihas selected the following three theses as recipients of the EATCS Distinguished Dissertation Award for 2025:

Best ETAPS Paper Award 2026

Best ETAPS Paper Award 2026 The EATCS award for the best theory paper at ETAPS 2026 is awarded to the following papers

1st Call for papers - GandALF 2026

The Seventeenth International Symposium on Games, Automata, Logics, and Formal Verification will take place in Aalborg, Denmark, September 15-17, 2026.

Web page: https://gandalfsymposium.github.io/2026/

The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The symposium covers an ample spectrum of themes, ranging from theory to applications, and encourages cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome.

More Articles...