The 2021 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 Georg Gottlob, Christoph Koch, Reinhard Pichler, Klaus U. Schulz, and Luc Segouﬁn have been selected as the winners of the 2021 Alonzo Church Award for Outstanding Contributions to Logic and Computation for fundamental work on logic-based web data extraction and querying tree-structured data, published in:

(1) Georg Gottlob and Christoph Koch. “Monadic Datalog and the Expressive Power of Lan- guages for Web Information Extraction.” Journal of the ACM (JACM) 51.1 (2004): 74-113.

(2) Georg Gottlob, Christoph Koch, and Klaus U. Schulz. “Conjunctive Queries Over Trees.” Journal of the ACM (JACM) 53.2 (2006): 238-272.

(3) Georg Gottlob, Christoph Koch, and Reinhard Pichler. “Eﬃcient Algorithms for Processing XPath Queries.” ACM Transactions on Database Systems (TODS) 30.2 (2005): 444-491.

(4) Georg Gottlob, Christoph Koch, Reinhard Pichler, and Luc Segouﬁn. “The Complexity of XPath Query Evaluation and XML Typing.” Journal of the ACM (JACM) 52.2 (2005): 284-335.

EATCS honours three outstanding PhD theses with the EATCS Distinguished Dissertation Award for 2020

EATCS is proud to announce that, after examining the nominations received from our research community, the EATCS Distinguished Dissertation Award Committee 2020, consisting of Susanne Albers, Nikhil Bansal, Elvira Mayordomo, Jaroslav Nesetril, Damian Niwinski, David Peleg (chair), Vladimiro Sassone and Alexandra Silva, has selected the following three theses as recipients of the EATCS Distinguished Dissertation Award for 2020:

Best ETAPS Paper Award 2021

The EATCS award for the best theory paper at ETAPS 2021 (Luxembourg, 27 March - 1 April 2021) was awarded to the following two papers

"A String Diagrammatic Axiomatisation of Finite-State Automata" by Robin Piedeleu and Fabio Zanasi

and

"Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages" by Bartek Klin, Sławomir Lasota, and Szymon Toruńczyk

More Information

The EATCS Award 2021 - Laudatio for Toniann (Toni) Pitassi

The EATCS Awards Committee consisting of Johan Håstad, Marta Kwiatkowska (chair) and Éva Tardos has selected Toniann (Toni) Pitassi (University of Toronto) as the recipient of the EATCS Award 2021. The award will be presented at ICALP 2021, which will be an Online Virtual Conference from the 12th till the 16th of July 2021.

The EATCS annually honors a respected scientist from our community with this prestigious EATCS Distinguished Achievements Award, to acknowledge extensive and widely recognized contributions to theoretical computer science over a life long scientific career (see http://eatcs.org/index.php/eatcs-award for more information, including the list of previous recipients)

The Abel Prize Laureates 2021

The Norwegian Academy of Science and Letters has decided to award the Abel Prize for 2021 to

László Lovász of Alfréd Rényi Institute of Mathematics (ELKH, MTA Institute of Excellence) and Eötvös Loránd University in Budapest, Hungary, and

Avi Wigderson of the Institute for Advanced Study, Princeton, USA

"for their foundational contributions to theoretical computer science and discrete mathematics, and their leading role in shaping them into central fields of modern mathematics."

https://www.abelprize.no

Call for Nominations: Dijkstra Prize in Distributed Computing 2021

Nomination deadline: March 15, 2021

EATCS-IPEC Nerode Prize - Call for Nominations

Deadline: April 15, 2021

The EATCS-IPEC Nerode Prize for outstanding papers in the area of multivariate algorithmics, is presented annually with the presentation taking place at IPEC (International Symposium on Parameterized and Exact Computation). IPEC 2021 will be part of ALGO 2021, September 8-10, 2021, Lisbon, Portugal. The Prize is named in honor of Anil Nerode in recognition of his major contributions to mathematical logic, theory of automata, computability and complexity theory.

More Articles...