The Gödel Prize 2020 - Laudation

The 2020 Gödel Prize is awarded to Robin A. Moser and 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.

Presburger Award 2020 - Laudatio for Dmitriy Zhuk

The 2020 Presburger Award Committee has unanimously selected

Dmitriy Zhuk

as the recipient of the 2020 EATCS Presburger Award for Young Scientists, for solving one of the most important and difficult problems in the theory of computation, the CSP dichotomy conjecture of Feder and Vardi.

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.

Laudatio

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.