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.

The Gödel Prize 2025 - Call for Nominations

Deadline: April 11, 2025.

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 33rd Gödel Prize will be awarded at the 57th Annual ACM Symposium on Theory of Computing (STOC 2025) in Prague, Czech Republic, June 23 - 27, 2025.

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.

Call for nominations: EATCS Award 2025

Presburger Award for Young Scientists 2025 - Call for Nominations

Deadline: 13 March 2025

The Presburger Award recognises outstanding contributions by a young scientist in theoretical computer science, documented by a published paper or a series of published papers. It is named after Mojzesz Presburger who accomplished his ground-breaking work on decidability of the theory of addition (known today as Presburger arithmetic) as a student in 1929. The award is conferred annually by the European Association for Theoretical Computer Science (EATCS) at the International Colloquium on Automata, Languages, and Programming (ICALP).