The Gödel Prize 2023 - Call for Nominations

NEW Deadline: March 31st, 2023

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 EATCS International Colloquium on Automata, Languages, and Programming (ICALP) and the ACM Symposium on Theory of Computing (STOC). The 31st Gödel Prize will be awarded at the 55th ACM Symposium on Theory of Computing (STOC), which will take place in Orlando, Florida, June 20-23, 2023.

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.

EATCS Fellows 2023 - Call for Nominations

Deadline: January 31, 2023

Call for nominations: EATCS Award 2023 The EATCS Award 2023 Call for Nominations Deadline: January 30th, 2023
Read more...

Presburger Award for Young Scientists 2023 - Call for Nominations

Deadline: 15 February 2023

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

EATCS Distinguished Dissertation Award 2022- Call for Nominations

Deadline: January 10, 2023

CIAC 2023

The 13th International Symposium on Algorithms and Complexity is planned to take place from 13 June to 16 June 2023 in Larnaca, Cyprus. It will follow the recent, very successful editions of CIAC 2021 in Larnaca, Cyprus, CIAC 2019 in Rome, Italy, CIAC 2017 in Athens, Greece, CIAC 2015 in Paris, France and CIAC 2013 in Barcelona, Spain.

EATCS-IPEC Nerode Prize 2022

The 2022 EATCS-IPEC Nerode Prize for outstanding papers in the area of multivariate algorithmics is awarded to the following papers by Bruno Courcelle:

"The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs." Inf. Comput. 85(1): 12-75 (1990)
"The Monadic Second-Order Logic of Graphs III: Tree-Decompositions, Minors and Complexity Issues." RAIRO Theor. Informatics Appl. 26: 257-286 (1992)

More Articles...