From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 070ABE1EA0; Wed, 3 Jun 2020 21:25:22 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=acie@acie.eu; spf=None smtp.mailfrom=acie@acie.eu; spf=None smtp.helo=postmaster@antea.dnshigh.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of acie@acie.eu) identity=pra; client-ip=185.81.4.109; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="acie@acie.eu"; x-sender="acie@acie.eu"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of acie@acie.eu) identity=mailfrom; client-ip=185.81.4.109; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="acie@acie.eu"; x-sender="acie@acie.eu"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@antea.dnshigh.com) identity=helo; client-ip=185.81.4.109; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="acie@acie.eu"; x-sender="postmaster@antea.dnshigh.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AMnHxbBX/AAJ2QBfkcuzJd1PbbTvV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbBWHt8tkgFKBZ4jH8fUM07OQ7/m9HzVbsN3e6TgrS99lb1c9k8?= =?us-ascii?q?IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBo?= =?us-ascii?q?KevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrrQjdrNQajIVmJ6o+yBbFv2ZDdv?= =?us-ascii?q?hLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfM?= =?us-ascii?q?TQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklD?= =?us-ascii?q?sLOjgk+27QlsF9gr5XrA+4qxBj3oLffYWZOOd+c6/Ye94RWGhPUdtLVyFZDYyz?= =?us-ascii?q?c4UBAeofM+hFrIf8qFUBoACkCgWwBuPi0CNEi2X00KA8zu8vERvG3AslH98Wqn?= =?us-ascii?q?vbsNT1O7kJXO+v0KbIzCvMY+lI1jfg7oXDbx8ur+2WU71qbcrR1VcgFxnDjliI?= =?us-ascii?q?qYLpITKY2+QNvWWU4eRtSP+ih3Ampgx+vjWixtoghpXJi44I113J9CV3zYIpKd?= =?us-ascii?q?C2VEN2ZdGpHZVOuy2HOIV6X8UvSHxmtiY9z70Jo5+7fC4SxZs92xHfauKIf5KW?= =?us-ascii?q?7RL+UuuaPDR2hGp9db6ihBu/8VKsx+7hWsWu31tGtDdJnsXIu30Lyhfd8NKISu?= =?us-ascii?q?Fn8UekwTuP1x7c6uVDIU0sj6XbLYIhzaAqmZYJrEvDGDT2mEX3jK+ZdkUo4PSn?= =?us-ascii?q?6+PiYrn+p5+cMZF7ih3mP6gzmcGyAf40PwsTU2SB9umwzqDv8VH9TblSi/05iK?= =?us-ascii?q?jZsJTUJcQBoa65BhdY3Zw/5Ba+ETiry84XkmUGLF1bYh6IkZXpN0nUIP/kFfe/?= =?us-ascii?q?n0iskDBzyv/aJLLhB5HNImHHkLfgZrZ991VRyBEzzNBa/5JbEKsNIPP1Wk/rtd?= =?us-ascii?q?zXFAU1MwKuw+z/EtVyypseWX6TAq+eKK7drViI5vs2L+aQYI8VpS3yJuM+5//u?= =?us-ascii?q?iH85gUUScbOo3ZsRcnC4H+5pL1+XYXr20Z89FjIDtQszZOXhiVDEXCMASWy1Wv?= =?us-ascii?q?c17TA2IIutDIqFS53+0/S6wC6nE8gONSh9AVeWHCKxKtzVCcdJUzqbJ4paqhJB?= =?us-ascii?q?ULGgT4E70hT/5gbxyrchI/eGonRE56Km78B84qjorT937SZ9XpaU2GCACWxpzD?= =?us-ascii?q?tRGm0GmZtnqEk48W+tlKh1h/sBRI5a4e9EW0E2M4XczuN6Tdv1X1CZcw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BjAgD/99defW0EUblmHgEBCxIMQIJtg?= =?us-ascii?q?XdUATIXFYQlgRGHcIV6iWaMFIgSCwEDAQwjCQECBAEBhmECHAYGNBMCEAEBBQE?= =?us-ascii?q?BAQIBAwMEARMBAQsUCIYLDII7DINVHQEBJhITCwE9AnqDH4MAAQqvZwKBMoMBA?= =?us-ascii?q?QEFhhKBIAMGgTiJKFyCSBqCAIl6gkeCYJlemhKRKYolCSCeOj6uNyyBaoF4c4M?= =?us-ascii?q?2UBkNkECEc4lXPwMwNwIGCAEBAwlZAQGODgEB?= X-IPAS-Result: =?us-ascii?q?A0BjAgD/99defW0EUblmHgEBCxIMQIJtgXdUATIXFYQlgRG?= =?us-ascii?q?HcIV6iWaMFIgSCwEDAQwjCQECBAEBhmECHAYGNBMCEAEBBQEBAQIBAwMEARMBA?= =?us-ascii?q?QsUCIYLDII7DINVHQEBJhITCwE9AnqDH4MAAQqvZwKBMoMBAQEFhhKBIAMGgTi?= =?us-ascii?q?JKFyCSBqCAIl6gkeCYJlemhKRKYolCSCeOj6uNyyBaoF4c4M2UBkNkECEc4lXP?= =?us-ascii?q?wMwNwIGCAEBAwlZAQGODgEB?= X-IronPort-AV: E=Sophos;i="5.73,469,1583190000"; d="scan'208,217";a="350500623" X-MGA-submission: =?us-ascii?q?MDH4COrTMPgBKtbFgiQYHTCrH+vulTsE9/7mxf?= =?us-ascii?q?8RJu5MXfm89yjanoTAA1g1YMN3x4UppNOlAZNcqHjIrKJUtipj/QTVNQ?= =?us-ascii?q?xz15AISfdsOoZDZjVxWsAU3OgtZcf9zWllesPpm2yevcmK5XeI7RknKI?= =?us-ascii?q?kv1BRIQ7A+yj5lKZ6PlFssiA=3D=3D?= Received: from antea.dnshigh.com ([185.81.4.109]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 03 Jun 2020 21:25:20 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=acie.eu; s=default; h=Message-ID:Subject:To:From:Date:Content-Type:MIME-Version:Sender :Reply-To:Cc:Content-Transfer-Encoding:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: In-Reply-To:References:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=WzWljd9qMJSqdJrSVlyjglJVoTo2dQH/+mTeQa9sth4=; b=DridS2DZeuJdRUh3L1UhO+wLR0 WS5wsOM3R1k0bDaMPlDhPQqM4qOvwFsvN3ED4XKw9+5RveKuLAgw49fR/c6z1uQoK+7aE8vm4XAHW 04qVAO6iY/CPFCxzUp+uPDS3KXrB5JxmZvERJl8x5VE6pvq9m/yspVPXTRI6JWIXspoAsQvNpp8gp OcMDf8OScBy9CCmcD6J991HIlOOmhxulVStRel3lk6Bo9mEpabiK0gprMoFFRWDSJLr7tLHbC9bFe +OJ9EAAvDkgGsS7evJIWwc/E8o9Uhf6XHG5L+2zozAw5fgJtOsCEUghDKwnMAEmzocVaWKy0SwlQV AK2HRBww==; Received: from localhost ([127.0.0.1]:56664 helo=antea.dnshigh.com) by antea.dnshigh.com with esmtpa (Exim 4.93) (envelope-from ) id 1jgZ0Y-00044m-H7; Wed, 03 Jun 2020 21:25:02 +0200 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="=_2cdab08747b27d687b3e9549a369ecd6" Date: Wed, 03 Jun 2020 21:25:02 +0200 From: acie@acie.eu To: acie@acie.eu Message-ID: <7dad4e191a71c48db331dc6b34e8f950@acie.eu> X-Sender: acie@acie.eu User-Agent: Roundcube Webmail/1.3.8 X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - antea.dnshigh.com X-AntiAbuse: Original Domain - inria.fr X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - acie.eu X-Get-Message-Sender-Via: antea.dnshigh.com: authenticated_id: acie@acie.eu X-Authenticated-Sender: antea.dnshigh.com: acie@acie.eu Subject: [Caml-list] 2020 S. Barry Cooper Prize --=_2cdab08747b27d687b3e9549a369ecd6 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII 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 --=_2cdab08747b27d687b3e9549a369ecd6 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8

The 2020 S. Barry Cooper Prize is awarded to Bruno Courcelle for his wor= k on the definability of graph properties in Monadic Second Order Logic, th= rough a sequence of seminal papers and a book (joint with Joost Engelfriet)= =2E  This forms an outstanding example of theory building, bringing to= gether logic, computability, graph grammars, and various notions of graph w= idth (tree-width, clique-width and rank-width) and opening new avenues in o= ur understanding of graph structure theory and the computability and comple= xity of graph algorithms.  Besides its foundational character, the wor= k has had great impact on a number of areas of computer science, including = in parameterized algorithmics, verification and other areas, and has influe= nced 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 t= he Computability in Europe 2020 conference.
Registration at the confer= ence (https://www.acie.eu/cie-conference-series/cie2020) is mandatory to at= tend, but it is without fees.

The Barry Cooper Prize Committee 2= 019-2023

Anuj Dawar
Peter Van Emde Boas
Yuri Gurevitch=
Mariya Soskova
Paola Bonizzoni

--=_2cdab08747b27d687b3e9549a369ecd6--