European Association for Theoretical Computer Science (EATCS) is an international organization founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science.

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 The EATCS Award 2025 Call for Nominations Deadline: March 15, 2025
Read more...

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).