From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 519385D3 for ; Fri, 15 Nov 2019 09:03:29 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.68,307,1569276000"; d="scan'208";a="411922786" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Nov 2019 10:03:27 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 098FA7F397; Fri, 15 Nov 2019 10:03:28 +0100 (CET) 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 64EB47F30F for ; Fri, 15 Nov 2019 09:46:57 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gianluca.dellavedova@unimib.it; spf=Pass smtp.mailfrom=gianluca.dellavedova@unimib.it; spf=None smtp.helo=postmaster@mail-qk1-f194.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AIfxvkh19/zree9AosmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segTL/rxwZ3uMQTl6Ol3ixeRBMOHsqkC0rGK+Pm6AiQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagb75+Ngi6oAveu8UZnIduNKg8wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waLDMy7n3ZhdJsg6JauBKhpgJww4jIYIGOKfFyerrRcc4GSWZdW8pcUTFKDIGh?= =?us-ascii?q?YIsVF+cPM+ZWoZfgqVUNohSxGRSjCuzhxTJTmn/73rc33/g9HQzc3gEtGc8Fvn?= =?us-ascii?q?TOrNXyMacfSeG7zKjSwjXFa/NWxCvy55LVeR4vv/6MWbZwftDMwkYgCQzKk1KQ?= =?us-ascii?q?qZL/MDiI0ekNvGmb4PBmVeKrlm4otxt+riKyycgyjonJgpgayk7a+ipkx4Y1O8?= =?us-ascii?q?e3RVVmYd6iEZtQsiCaOJBsTsMjX2FloSA3waAFt56jZCUG1ogryhrFZ/GEc4WE?= =?us-ascii?q?+AzvWPiPLTtimX5ofL2yiw6x/ES80OHwS8q53VhQoidKiNXAq24B2h7V58OaUP?= =?us-ascii?q?Vy5F2h1iyK1w3L6uFLP0Q0la3DJp4k2LEwl54TvV3aHi/1hUn6laGWelgg9+Wn?= =?us-ascii?q?8ejnbbLmppiTN49wlA7yKLghmsu6AeggMwgOWXaU+fik2bH94UH0RK9Gg/42n6?= =?us-ascii?q?XDrpzWO9oXqrSkDwJR3Ysv8xO/AC2n0NQck3kHNlVFeBefgojmOlHBOvb4DfOi?= =?us-ascii?q?g1uwijhn3e3JMaPlApXJNHfDjqnucqt6605C0gU+1s1f55RVCrEEIfL8QVX9tN?= =?us-ascii?q?3EDhMhKQy73/7nCMlh1oMZQW+AHrWWMKbWsVOR4uIvIvKMZJMOtTbmK/kl4ubu?= =?us-ascii?q?gmUjlV8ce6mpx5oXZ2qiEvRoOUWVeX/sjc0AEWcOsAo+VuvqiFiaXD5cZna9Ra?= =?us-ascii?q?Q85jUmCI26F4jPQYWtj6Ka3Ce+Ap1WfnpJCk2QEXfob4WLRe0MaDmVIs9niDME?= =?us-ascii?q?UbmhS5Mh1B23sAL21bRqIvTW9yAaq57u18F56/PPmRw99zF5AMeQ3m6OQm1tkW?= =?us-ascii?q?MIRiU53KZ7oUxg1liMy7J0jOFGGtxX4/NGSBk6OoDBwOx9FdD9QBrMc8+USFag?= =?us-ascii?q?Q9WmBDAxQckrz98Pf0ZwAMitgQ7H3yquGbAViaKEC4Ez8qLCxXf9PcF9y2zJ1K?= =?us-ascii?q?QnklIrXM9PNXC9hq5j6QfTHZPHk0SYlqm0bakQwH2FyGDW5EWilQkMWQF8WI3B?= =?us-ascii?q?XGsDfQ3drd39407YVPm1BOJjegJOxMieMeMeY9Lki0ldbPz4fsnbaWn3lmutU1?= =?us-ascii?q?LA57WCa5Dvcnkc1z6VJVUelBgetSKPMw45GyGqrkrfCjJpD1fmf0Ln6qxztWm8?= =?us-ascii?q?VkJyyBuFOQkp/oGRskocnvi0VfoIxbse/iottmMwVF202taTD9ubu0I1d6xZZZ?= =?us-ascii?q?Y54Uxb/WPfrQ10eJK6eeQqjVcCfgtwpULjzF0jAYxcnMcttnIn1yJ3Nave21oX?= =?us-ascii?q?M3uT1pm1PvWDIWL7uRSHb6/NxkqYzd2KvK4EruYx/RGrtwasEkMouyFs1NxR2n?= =?us-ascii?q?G07ZLPCAMYF5XhFE88sQV58fWSaS476Y7O2HtnPLL85jTF3dwkHuYjwRu7V9xY?= =?us-ascii?q?NbuZCALoVcoACJ7qYOctgh2iag8OdLRZ87dxNMe7fdOH3rSqNaBuhmTixWhN/4?= =?us-ascii?q?dn1k7EoyZ2VenS25otyOrewQqcXHHxgEr39ojasLt/WXlGE2Ok0jShAYNUbKBo?= =?us-ascii?q?Zq4PCHyyOIuzy5N3jNjwWCgcvFOoAFQenc6vdx3aO1H22gpIkEURr3uPlCC/yC?= =?us-ascii?q?QylCsm+O7X0i3IwvjvMR8ANmNPAXVigFD2MMDggdEcXVSlKg0umBahoFr6yq9B?= =?us-ascii?q?tYx7LnLPWgFSYDT2amhrWau9sPyObpgLoJ0t9CxRVuOhZ1uXT7P7vwBShy3mWm?= =?us-ascii?q?JYwjcmcTqnv5j/gwdSjGOGMG01qnPCcId/wgmJoJTTTPtcxXJSSyB9hCL/Almn?= =?us-ascii?q?I8Lv58qIl9LKu+u+WmTnWpAFNWHE14q8riLzsWJwCAGllti3m8b7Ck4n1y6+z9?= =?us-ascii?q?BmWD/Cqwz6JIXmgeDyMOxiZUhnTAv95c9hG45WmZB2mJocn3kX0NHd/GIOlWbo?= =?us-ascii?q?LZ0P2Lr3aHsWWRYPwsXJ+wX/xkB5aG6UysT/UiPZis9vbML/Y2UK1zgw9NwCXK?= =?us-ascii?q?Oa56cBnC1pr0C1th75bfNm2DoRj/IlrmMZ1aVBnCsG9W3JBrkJWE1ZNjfEkxWT?= =?us-ascii?q?88v4sLgSbmu1dbm2kkZzy5TpCLCErwhGECL9e5EvFDVY5d45K07F1nP08I2idd?= =?us-ascii?q?XNO5ZbshyPjwzKhONUbZZ5wv4LnjZ8M2n2vDgh4/Uxhlppx578tpLRby1p+624?= =?us-ascii?q?CVYMMjr6Zsg7/zjxjeBDmMfT1YepGNNtF2NPFJ3lUumsHS4OuO6vYwCDDyY4p2?= =?us-ascii?q?uHFKD3FAaF6UFt6XXVHMbvf3eIPGVczNNsQ1HJIlNHnEUVWjs9tpo4DRyxgs3m?= =?us-ascii?q?ewF062ZVrmb1tgFN7O90f03nX3vFpQGldh81TpaYNh9f8gBBoVrTMIme5+d5Aj?= =?us-ascii?q?tXuJGs+kjFMnacaEFMBGcGEhifDFGmMrit+JzY6e+XQ+63KfTmZbSVtapdSrGE?= =?us-ascii?q?xsTrmrN8+DGCCsWCOWNzR6kDwE1EU0x5FsPDih0rSjcLjGTnZtKb4j63vBBU+I?= =?us-ascii?q?T36vn0QgPz5I2ATqFfKMhi4Az+1b2OKPSRmCd/JnNC24oRyGTU4LUZxxsWmiZo?= =?us-ascii?q?MTe3R/BIjg/id4X+pupzR0oAaixoM8VUqqYU1wJIf9Pal9iz27Jl2Lp9EFBOVF?= =?us-ascii?q?rvnYn9fssBImezM3vMHwCXKajAKzydh4nrYa67U7BVyf1OsAO9oy3TR1PjMzOZ?= =?us-ascii?q?mjysTwqoL+xWlwmSPVpbuZ37fxpwXyyrUNLrbQeqeItrjTAx26wcjXeMPmcZdz?= =?us-ascii?q?F3NV5O+PnY8SNVhe9uXmhG4XtuZb2Ymyue9fidLpEZsPBDCT8ynOdHpnk21u0R?= =?us-ascii?q?pD1ESftviS3O5opyo1yhiPiJ1hJjUQFSsTtRmsSNuklrOuPU+oQWHT747QoA9i?= =?us-ascii?q?3EFwUSqsBNDtz0p7sWwdjGkKf+MiwE6N+CuYMAFtDZM4eONnwmLBziFXaAEBod?= =?us-ascii?q?QCXuPGfZgFFbm/y68nyOsoN8sZXlg9wTUrJdUho4Gu5MTgx7H91HJJZsQntwj7?= =?us-ascii?q?2aycoJ/maWoBfSRYNWs8aUeOiVBKDAKT+fiaRPblMkzLf8JMwtO4H8xUUqPlZ7?= =?us-ascii?q?lYLOBkHZG9xApilocAI4p1tE2GV4T2gy0QTkdlX+szcoCfeok0tu2UNFauM3+W?= =?us-ascii?q?Kpug9vfwuYlG4LiEA03O7dr3WUeT/1Ir23WNgPWTfytk0wONX6X1QsNFHgrQlf?= =?us-ascii?q?LD7BAolpof54b2ky0V3Bv5pKGPQaTLEWOEZNl8HSXO0h1BFnkgvixUJD4rGbW5?= =?us-ascii?q?5rlQ9vaJ316nwZil4lY9kyKqjdYqFOywoIiw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AWCABiZc5df8LeVdFlDoI2g2JbhCmJA?= =?us-ascii?q?4YIm1KBZwkBAwEKAQEYFQIBAYRUgg4cBwEEMwYOAg4BAQQBAQECAQIDBAETAQE?= =?us-ascii?q?JCwsIJ4VADII7KQGCbgEFARALBg8BBQgBATg0AgUhAgIPJQEFASEBARIUDoV4B?= =?us-ascii?q?KMEgQM9ijB1gTKCfgEBBYEHAQGEf4E/CQkBCHwojBWCF4N1hH4BEgGDL4Jeric?= =?us-ascii?q?HgVxRlUEnDI4YAotnPoQBigmaBwIEAgQFAgYPI4FFgQpxMxpzgmxQERSXe4cqB?= =?us-ascii?q?AE3QQExAYEnjhEBgjEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AWCABiZc5df8LeVdFlDoI2g2JbhCmJA4YIm1KBZwkBAwE?= =?us-ascii?q?KAQEYFQIBAYRUgg4cBwEEMwYOAg4BAQQBAQECAQIDBAETAQEJCwsIJ4VADII7K?= =?us-ascii?q?QGCbgEFARALBg8BBQgBATg0AgUhAgIPJQEFASEBARIUDoV4BKMEgQM9ijB1gTK?= =?us-ascii?q?CfgEBBYEHAQGEf4E/CQkBCHwojBWCF4N1hH4BEgGDL4JericHgVxRlUEnDI4YA?= =?us-ascii?q?otnPoQBigmaBwIEAgQFAgYPI4FFgQpxMxpzgmxQERSXe4cqBAE3QQExAYEnjhE?= =?us-ascii?q?BgjEBAQ?= X-IronPort-AV: E=Sophos;i="5.68,307,1569276000"; d="scan'208";a="326809832" X-MGA-submission: =?us-ascii?q?MDEyjSiMuOof8pTZFObcMCsBjNHusZaf89ZgkU?= =?us-ascii?q?cMw6xJ6EbwiqfL5APrQOCz2A88nPh5hgOJi0NUe5gPIUVKflxdBagwrV?= =?us-ascii?q?fpK8xnbKYeA0jz472+MJ6qxNHDJ9lvq1J5eJVQfQ3yA8/GOlcfy3GkYe?= =?us-ascii?q?TB33tgIjXQBOMBdQaaFMGL1g=3D=3D?= Received: from mail-qk1-f194.google.com ([209.85.222.194]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 15 Nov 2019 09:46:55 +0100 Received: by mail-qk1-f194.google.com with SMTP id z16so7499625qkg.7 for ; Fri, 15 Nov 2019 00:46:55 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unimib.it; s=google; h=date:from:to:subject:message-id:mime-version:content-disposition :content-transfer-encoding:user-agent; bh=e4AZntSAyLw+ayVDl7RVObIDKSuovzJ5qFMsuk20iEo=; b=YTmghjooN8wgBUyEdorOcn1oLzQKX77e3W3VpAidznwkQX/Y1QpAXYSUFhF0oHtLwB CZnuwmWoczcvYpCAzeKJg/ufAenjg9HKlfM/vnQjE2/737G6lLd9YRV09hQwGAR/28Ys EtiolKalb0fLrYlZYN0OidcA4fwvCtUGEf8XfnJQpNnPkObZI64MQRVM1USSt6KeNBkC YlQduKMQEsZZeVgjdIfHUeuc+Zu5maUMGuiD1yjnMqkocOMlbeLsq5CqywWgi6V3/7su LlM3nMFm76Ix8Yqk6FdpM00qqTc09SGZ4zROCvTqxY2/m/wuv1tF8Qhxmljp0XIXlBwl pWxw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:subject:message-id:mime-version :content-disposition:content-transfer-encoding:user-agent; bh=e4AZntSAyLw+ayVDl7RVObIDKSuovzJ5qFMsuk20iEo=; b=pBarCyQ0Bq93DiGIAlA68Gw6ZCqx81k+8syIzm7nL+GLdBjmvSzAhjdJjcQAiR7f6T 07GnB8i8w8G4KGEhEef/iewk49WG1AxVY5o/YQZKtGUWC+AkKziwOz+bWSVdqcohW5GG cZdX6BRGQ8FWenA1A/U0qMcgjibVm0zaiZCvK8Pa6sp8pgQ/2xCMu0pPuPm5HKH+4Apj xuH5JcLY8rhhS+n1GL78zuc3uBzOlojx9IxEG7xKPUtC9hRFoQ0ST0S13cWmutaM/FKR v5jpK/h8970shNvfep8/Cmh/k4PHGhFXb0b2uBpWYfWEzlGrjiqxrwPTbXdgrL3al6EC 8Kmg== X-Gm-Message-State: APjAAAVMHi8duWRNXBijv57EcmoMPkCBLSmKce+VTbYBchu5MUwUKmyd AstwwtO81/3AZPKXuzN/dHBbaQ== X-Google-Smtp-Source: APXvYqyJ2fTCDkt65b4EPqidw4LTd9blQuWkDLJ6RmlG7JWXV3KFvRt9HQY2jMJ4arwNikpCTcdTMw== X-Received: by 2002:a05:620a:a52:: with SMTP id j18mr10988564qka.385.1573807614193; Fri, 15 Nov 2019 00:46:54 -0800 (PST) Received: from auth2-smtp.messagingengine.com (auth2-smtp.messagingengine.com. [66.111.4.228]) by smtp.gmail.com with ESMTPSA id n49sm4751076qtk.94.2019.11.15.00.46.52 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 15 Nov 2019 00:46:52 -0800 (PST) Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailauth.nyi.internal (Postfix) with ESMTP id 61EDB22023; Fri, 15 Nov 2019 03:46:51 -0500 (EST) Received: from mailfrontend1 ([10.202.2.162]) by compute4.internal (MEProxy); Fri, 15 Nov 2019 03:46:51 -0500 X-ME-Sender: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedufedrudefgedguddvfecutefuodetggdotefrod ftvfcurfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfgh necuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmd enucfjughrpeffhffvuffkgggtugfgfgesthekredttderjeenucfhrhhomhepifhirghn lhhutggrucffvghllhgrucggvgguohhvrgcuoehgihgrnhhluhgtrgdruggvlhhlrghvvg guohhvrgesuhhnihhmihgsrdhitheqnecukfhppeektddrudekfedrgedruddvjeenucfr rghrrghmpehmrghilhhfrhhomhepghhirghnlhhutggrodhmvghsmhhtphgruhhthhhpvg hrshhonhgrlhhithihqdelvdefvdejjedvkedqvddtgeejgeekgeekqdhgihgrnhhluhgt rgdruggvlhhlrghvvgguohhvrgeppehunhhimhhisgdrihhtseguvghllhgrvhgvughovh grrdhorhhgnecuvehluhhsthgvrhfuihiivgeptd X-ME-Proxy: Received: from nuc6 (host127-4-dynamic.183-80-r.retail.telecomitalia.it [80.183.4.127]) by mail.messagingengine.com (Postfix) with ESMTPA id 8D4038005C; Fri, 15 Nov 2019 03:46:39 -0500 (EST) Date: Fri, 15 Nov 2019 09:46:38 +0100 From: Gianluca Della Vedova To: AGDA , agents , Informatics Europe , ASL , caml-list , categories , cca-l , comlab , conferences , coq-club , dbworld , EASST , ecoop-info , finite-model-theory , fm-announcements , games , GraTra , ifmsig , ipalist , lfcs-interest , LICS , linear , listsbcci-l , logic , newsletter , nwpt-info , PetriNet , prog-lang , ProofTheory , rewriting-request , SIGSOFT-L , socinfo , theorem-provers , theory , theory-logic , theorynt , Types , types-announce , vki-list Message-ID: <20191115084638.blvnxwftylw3ubrs@nuc6> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: NeoMutt/20191111 X-Validation-by: gianluca.dellavedova@unimib.it Subject: [Caml-list] Barry Cooper Prize - Call for Nominations Reply-To: Gianluca Della Vedova X-Loop: caml-list@inria.fr X-Sequence: 17873 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: A Call for Nominations for the S.Barry Cooper Prize is now open. Nominations for the award should be submitted by email to the Award Committee Chair Anuj Dawar (University of Cambridge) anuj.dawar@cl.cam.ac.uk Any emails and related messages should have the subject line starting with “S. Barry Cooper Prize 2020”. To be considered, nominations for the 2020 Prize must be received by 17 January, 2020. A nomination package should include: 1. A statement of motivation for awarding the prize to the nominee, including: the nominee’s outstanding results, their seminal and lasting theory building and/or exceptional service to the research communities, as the case may be. These should be supported by at least one of – A list of the most important publications, accompanied by a brief summary of the technical content of the papers and a brief explanation of their significance. Where possible, this should include pointers to online versions of the publications. – A statement explaining the role played and the exceptional services rendered by the nominee, in the research communities involved in computability and related areas. 2. A support letter or letters signed by at least two members of the scientific community. The nomination package must be in English, but it may include reference to publications in other languages. Selection Process ================= The Award Committee is solely responsible for the selection of the winner of the award. All matters relating to the selection process that are not specified here are left to the discretion of the Award Committee, whose decision will be final.