The Gödel Prize 2020 - Laudation

The 2020 Gödel Prize is awarded to Dr. Robin A. Moser and Prof. Gábor Tardos for their algorithmic version of the Lovász Local Lemma in the paper:

“A constructive proof of the general Lovász Local Lemma," Journal of the ACM 57(2): 11:1-11:15 (2010).

EATCS Fellows class of 2020 named

The EATCS has recognized three of its members for their outstanding contributions to theoretical computer science by naming them as recipients of an EATCS fellowship.

The EATCS bestows the Presburger Award 2020 on Dmitriy Zhuk

The 2020 Presburger Committee consisting of Thore Husfeldt, Meena Mahajan and Anca Muscholl (chair) has completed its deliberations and unanimously selected Dmitriy Zhuk (Lomonosov Moscow State University) as recipient of the 2020 EATCS Presburger Award for young scientists.

Call for Contributions -  WiL 2020: 4th Women in Logic Workshop Paris

Thanks to the generous support of SIGLOG, the Vienna Center for Logic and Algorithms (VCLA) and the Institute of Logic, Language and Computation of the University of Amsterdam (ILLC), applications for awards are invited to facilitate students and postdocs, who are authors of accepted papers to register and travel to the WiL 2020.

The awardees of the SIGLOG/VCLA/ILLC Travel Award will be reimbursed for a portion of their travel expenses, and registration costs. There will be at most one award per paper.

The EATCS Award 2020 - Laudatio for Mihalis Yannakakis

The EATCS Award committee selects

Professor Mihalis Yannakakis

as the recipient of the 2020 EATCS Award for his fundamental and deep contributions to an extraordinary range of areas in theoretical computer science, including algorithms, complexity theory, combinatorial optimization, databases, and verification.

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

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.