From: acie@acie.eu
To: acie@acie.eu
Subject: [Caml-list] 2020 S. Barry Cooper Prize
Date: Wed, 03 Jun 2020 21:25:02 +0200 [thread overview]
Message-ID: <7dad4e191a71c48db331dc6b34e8f950@acie.eu> (raw)
[-- Attachment #1: Type: text/plain, Size: 1241 bytes --]
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.
The award ceremony will take place on July 2nd during the Computability
in Europe 2020 conference.
Registration at the conference
(https://www.acie.eu/cie-conference-series/cie2020) 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
[-- Attachment #2: Type: text/html, Size: 1496 bytes --]
reply other threads:[~2020-06-03 19:25 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=7dad4e191a71c48db331dc6b34e8f950@acie.eu \
--to=acie@acie.eu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).