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

Call for Nominations - The 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation

Deadline: March 31, 2025

EATCS Distinguished Dissertation Award 2024 - Call for Nominations

Deadline: 7 March 2025 AoE

23rd LA/EATCS-Japan Presentation Award

The 23rd LA/EATCS-Japan Workshop on Theoretical Computer Science was held on January 27-29, 2025, and Tonan Kamata (Japan Advanced Institute of Science and Technology), Title: Dudeney's Dissection is Optimal, was selected for the 23rd LA/EATCS-Japan Presentation Award

http://www.dais.is.tohoku.ac.jp/eatcs_japan/

EATCS Fellows 2025 - Call for Nominations

Deadline: March 7th, 2025

Proposals for Fellow consideration in 2025 should be submitted by MARCH 7th, 2025 by email to the EATCS Secretary - This e-mail address is being protected from spambots. You need JavaScript enabled to view it . The subject line of the email should read "EATCS Fellow Nomination - < surname of candidate >".

The EATCS Fellows Program is established by the Association to recognize outstanding EATCS Members for their scientific achievements in the field of Theoretical Computer Science. The Fellow status is conferred by the EATCS Fellows Selection Committee upon a person having a track record of intellectual and organizational leadership within the EATCS community. Fellows are expected to be "model citizens" of the TCS community, helping to develop the standing of TCS beyond the frontiers of the community.

More Articles...