Call for Nominations: Alonzo Church Award for Outstanding Contributions to Logic and Computation 2021

An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research.

The Gödel Prize 2021 - Call for Nominations

Deadline: February 28, 2021

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 29th Gödel Prize will be awarded at 53 rd Annual ACM Symposium on the Theory of Computing to be held June 21-25, online. 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 2021 - Call for Nominations

Deadline: December 31, 2020

VERY IMPORTANT: all nominees and nominators must be EATCS Members
Proposals for Fellow consideration in 2020 should be submitted by DECEMBER 31st, 2020 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>".

Presburger Award for Young Scientists 2021 - Call for Nominations

Deadline: 15 February 2021

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 2020 - Call for Nominations

Deadline: 31 December 2020

The EATCS establishes the Distinguished Dissertation Award to promote and recognize outstanding dissertations in the field of Theoretical Computer Science. Any PhD dissertation in the field of Theoretical Computer Science that has been successfully defended in 2020 is eligible.

Call for nominations: EATCS Award 2021 The EATCS Award 2021 Call for Nominations Deadline: December 31st, 2020
Read more...

The 2020 Alonzo Church Award

The ACM Special Interest Group on Logic (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Goedel Society (KGS) are pleased to announce that

Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa, and Wang Chiew Tan

have been selected as the winners of the 2020 Alonzo Church Award for Outstanding Contributions to Logic and Computation.

More Articles...