Presburger Award 2022 – Laudatio for Dor Minzer

The 2022 Presburger Award Committee has unanimously selected

Dor Minzer

as the recipient of the 2022 EATCS Presburger Award for Young Scientists for his deep technical contributions towards resolving the 2-to-2 Games Conjecture.

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

EATCS is proud to announce that, after examining the nominations received from our research community, the EATCS Distinguished Dissertation Award Committee 2021, consisting of Susanne Albers, Nikhil Bansal, Elvira Mayordomo, Jaroslav Nesetril, Damian Niwinski, David Peleg (chair), Vladimiro Sassone and Alexandra Silva, has selected the following three theses as recipients of the EATCS Distinguished Dissertation Award for 2021:

Alexandros Hollender: Structural Results for Total Search Complexity Classes with Applications to Game Theory and Optimisation (University of Oxford; advisor: Paul W. Goldberg).

Jason Li: Preconditioning and Locality in Algorithm Design (Carnegie Mellon University; advisors: Anupam Gupta and Bernhard Haeupler).

Jan van den Brand: Dynamic Matrix Algorithms and Applications in Convex and Combinatorial Optimization (KTH Royal Institute of Technology; advisor: Danupon Nanongkai).

The award certificate will be presented to in the award ceremony of ICALP 2022, to take place in Paris, France, in July 4-8, 2022.

Best ETAPS Paper Award 2022

The EATCS award for the best theory paper at ETAPS 2022 (Munich, 4 - 7 April 2022) was awarded to the following paper

"Complete and tractable machine-independent characterizations of second-order polytime" by Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion and Romain Péchoux

More Information

EATCS-IPEC Nerode Prize - Call for Nominations

Deadline: 15 May, 2022

The EATCS-IPEC Nerode Prize for outstanding papers in the area of multivariate algorithmics, is presented annually with the presentation taking place at IPEC (International Symposium on Parameterized and Exact Computation). IPEC 2022 is due to take place as part of ALGO 2022 on 5-9 September in Potsdam, Germany. The Prize is named in honor of Anil Nerode in recognition of his major contributions to mathematical logic, theory of automata, computability and complexity theory.

EATCS statement about Ukraine

The European Association for Theoretical Computer Science (EATCS) very strongly condemns the Russian invasion of Ukraine, which is in violation of international laws and a crime against Ukrainian people. We express our solidarity with the sovereign country of Ukraine and our deep respect to the courage of Ukrainians defending their country.

The EATCS supports the decision, made by several international academic organizations, to freeze all institutional collaboration with the Russian academic establishment. We know that many Russian academics are actively opposed to the war against Ukraine and we acknowledge their civil courage.

The Gödel Prize 2022 - Call for Nominations

NEW Deadline: March 31st, 2022

The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (ACM SIGACT). The award is presented annually, with the presentation taking place alternately at the International Colloquium on Automata, Languages, and Programming (ICALP) and the ACM Symposium on Theory of Computing (STOC). The 30th Gödel Prize will be awarded at the 49th International Colloquium on Automata, Languages and Programming (ICALP), which will be hybrid, happening both physically and virtually. The physical meeting will take place in Paris, France, July 4-8 2022. The Prize is named in honor of Kurt Gödel in recognition of his major contributions to mathematical logic and of his interest, discovered in a letter he wrote to John von Neumann shortly before von Neumann’s death, in what has become the famous “P versus NP” question. The Prize includes an award of USD 5,000.