2020 S. Barry Cooper Prize

[gprimiero at libero.it]

The 2020 S. Barry Cooper Prize is awarded to Bruno Courcelle for his work on the definability of graph properties in Monadic Second Order Logic, through a sequence of seminal papers and a book (joint with Joost Engelfriet). This forms an outstanding example of theory building, bringing together logic, computability, graph grammars, and various notions of graph width (tree-width, clique-width and rank-width) and opening new avenues in our understanding of graph structure theory and the computability and complexity of graph algorithms. Besides its foundational character, the work has had great impact on a number of areas of computer science, including in parameterized algorithmics, verification and other areas, and has influenced a generation of researchers in this field. It has straddled the divide between the logical and algorithmic aspects of theoretical computer science.

For the full announcement see

https://www.acie.eu/2020/06/03/2020-s-barry-cooper-prize-awarded-to-bruno-courcelle/

The award ceremony will take place on July 2nd during the Computability in
Europe 2020 conference. Registration at the conference is mandatory to attend, but it is without fees

https://www.acie.eu/cie-conference-series/cie2020 

The Barry Cooper Prize Committee 2019-2023

Anuj Dawar
Peter Van Emde Boas
Yuri Gurevitch
Mariya Soskova
Paola Bonizzoni
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20200603/448f8902/attachment-0001.html>