EATCS-IPEC Nerode Prize 2024

The EATCS-IPEC Nerode Prize 2024 for outstanding papers in the area of multivariate algorithmics is awarded to

Hans L. Bodlaender, Fedor V. Fomin, Daniel Lokshtanov, Eelko Penninkx, Saket Saurabh, and Dimitrios M. Thilikos

for their paper

(Meta) Kernelization. J. ACM 63(5): 44:1-44:69 (2016), announced at Foundations of Computer Science (FOCS) 2010.

2024 Alonzo Church Award for Outstanding Contributions to Logic and Computation

The European Association for Computer Science Logic (EACSL), the European Association for Theoretical Computer Science (EATCS), and the ACM Special Interest Group for Logic and Computation (SIGLOG) are pleased to announce that the 2024 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented jointly to

Thomas Ehrhard and Laurent Regnier

for giving a logical and computational account of differentiation, bringing Taylor expansion to the Curry-Howard correspondence, which had a major impact on programming language semantics.

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

EATCS is proud to announce that, after examining the nominations received from our research community, the EATCS Distinguished Dissertation Award Committee 2023, consisting of Nikhil Bansal (chair), Petra Berenbrink, Jaroslav Nešetřil, Damian Niwiński, Vladimiro Sassone, Alexandra Silva, David Woodruff and Standa Zivny has selected the following three theses as recipients of the EATCS Distinguished Dissertation Award for 2023:

Presburger Award 2024 – Laudatio

The 2024 Presburger Award Committee has chosen Justin Hsu and Pravesh Kothari as joint recipients of the 2024 EATCS Presburger Award for Young Scientists.

The 2024 Gödel Prize

The 2024 Gödel Prize is awarded for the following paper:

Ryan Williams: Non-Uniform ACC Circuit Lower Bounds.

Computational Complexity Conference (CCC) 2011.

Journal of the ACM 61(1):1–32 (2014)

2024 Edsger W. Dijkstra Prize in Distributed Computing

The Edsger W. Dijkstra Prize in Distributed Computing is awarded for outstanding papers on the principles of distributed computing, whose significance and impact on the theory or practice of distributed computing have been evident for at least a decade. It is sponsored jointly by the ACM Symposium on Principles of Distributed Computing (PODC) and the EATCS Symposium on Distributed Computing (DISC). The prize is presented annually, with the presentation taking place alternately at PODC and DISC.