The EATCS Award 2025  - Laudation for Rajeev Alur

The EATCS Award committee selects as the recipient of the 2025 EATCS Award for his contributions to computer-assisted specification, analysis, verification, and synthesis of systems. Alur's research is characterized by deep and elegant theoretical ideas with a clear path to practical industrial use. His multiple celebrated contributions include the following:

During the 1990s, in collaboration with Dill, Henzinger, and others, Rajeev Alur introduced and studied timed and hybrid automata. These models have since been further explored in thousands of articles, and the resulting analysis and verification algorithms have been implemented in numerous tools.

Presburger Award 2025 – Laudatio

The 2025 Presburger Award Committee has chosen Tomasz Kociumaka and Sepehr Assadi as joint recipients of the 2025 EATCS Presburger Award for Young Scientists.

EATCS-IPEC Nerode Prize 2025

The EATCS-IPEC Nerode Prize 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.

EATCS Bulletin Issue 146 is available online

The 145th issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/index featuring

• Bringing Theoretical Computer Science to YouTube, TCS on the Web by Stefan Neumann
• Recent Results in DAG BFT Neil Giridharan, The Distributed Computing Column by Seth Gilbert
• Generalized Directions on a Compass Tim A. Hartmann, The Formal Language Theory Column by Giovanni Pighizzini
• Assessing GPT Performance in a Proof-Based University-Level Course Under Blind Grading Ming Ding, Federico Soldà, Weixuan Yuan, Rasmus Kyng, The Education Column by Dennis Komm and Thomas Zeume
• Interactive classical algorithms: Preview Yuri Gurevich, The Logic in Computer Science Column by Yuri Gurevich

The 2025 Alonzo Church Award

The 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to

Paul Blain Levy

for his fundamental study of effectful λ-calculi through the Call-by-Push-Value calculus.

The awardee book and paper are:

Paul Blain Levy. Call-By-Push-Value: A Functional/Imperative Synthesis. Semantics Structures in Computation 2, Springer 2004, ISBN 1-4020-1730-8

Paul Blain Levy. Call-by-Push-Value: Decomposing call-by-value and call-by-name. High.-Order Symb. Comput. 19(4): 377-414 (2006)

EATCS Bulletin Issue 145 is available online

The 145th issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/index featuring

• Know the Person behind the Papers Today: Antoine Amarilli - The Interview Column by Chen Avin and Stefan Schmid
• Behind the Scenes of TCS+: Talks, Research, and Community Efforts - TCS on the Web by Stefan Neumann
• Data Compression Meets Automata Theory - Nicola Cotumaccio, The Algorithmics Column by Ioana O. Bercea and Thomas Erlebach
• On the limits of distributed quantum computing - Francesco d’Amore, The Distributed Computing Column by Seth Gilbert
• Range Avoidance and the Complexity of Explicit Constructions - Oliver Korten, The Computational Complexity Column by Michal Koucky
• Logic for Systems: A Gradual Introduction to Formal Methods - Shriram Krishnamurthi, Tim Nelson, The Education Column by Dennis Komm and Thomas Zeume