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

Jaroslav Nešetřil and Patrice Ossona de Mendez

for their papers

• "Grad and classes with bounded expansion I. Decompositions", European Journal of Combinatorics 29(3): 760–776, 2008;
• "Grad and classes with bounded expansion II. Algorithmic aspects", European Journal of Combinatorics 29(3): 777–791, 2008;
• "First order properties on nowhere dense structures", Journal of Symbolic Logic, 75(3): 868–887, 2010;
• "On nowhere dense graphs", European Journal of Combinatorics 32(4): 600–617, 2011.

EATCS Bulletin Issue 146 is available online

The 146th 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

ICALP 2025 - Call for Papers

The 52nd EATCS International Colloquium on Automata, Languages, and Programming (ICALP) will take place in:

Aarhus, Denmark, July 8-11, 2025

Conference website: https://conferences.au.dk/icalp2025

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 7.

The 2025 edition has the following features:

- Submissions are anonymous and there is a rebuttal phase.

- The conference is planned as a physical, in-person event.