2020 S. Barry Cooper Prize

gprimiero at libero.it gprimiero at libero.it
Wed Jun 3 15:28:48 EDT 2020

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


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


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>

More information about the FOM mailing list