coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Gianluca Della Vedova <gianluca.dellavedova AT unimib.it>
- To: AGDA <agda AT lists.chalmers.se>, agents <agents AT cs.umbc.edu>, Informatics Europe <announce AT informatics-europe.org>, ASL <asl AT vassar.edu>, caml-list <caml-list AT inria.fr>, categories <categories AT mta.ca>, cca-l <cca-l AT lists.uct.ac.za>, comlab <comlab AT comlab.ox.ac.uk>, conferences <conferences AT computer.org>, coq-club <coq-club AT inria.fr>, dbworld <dbworld AT cs.wisc.edu>, EASST <easst-members AT lists.le.ac.uk>, ecoop-info <ecoop-info AT ecoop.org>, finite-model-theory <finite-model-theory AT lists.rwth-aachen.de>, fm-announcements <fm-announcements AT lists.nasa.gov>, games <games AT lists.rwth-aachen.de>, GraTra <gratra AT lists.uni-paderborn.de>, ifmsig <ifmsig AT cs.tcd.ie>, ipalist <ipalist AT listserver.tue.nl>, lfcs-interest <lfcs-interest AT dcs.ed.ac.uk>, LICS <las-lics AT lists.tu-berlin.de>, linear <linear AT cs.stanford.edu>, listsbcci-l <listsbcci-l AT sbc.org.br>, logic <logic AT math.uni-bonn.de>, newsletter <newsletter AT aarinc.org>, nwpt-info <nwpt-info AT lists.ioc.ee>, PetriNet <petrinet AT informatik.uni-hamburg.de>, prog-lang <sci-diku-prog-lang AT list.ku.dk>, ProofTheory <ProofTheory AT Lists.Bath.Ac.UK>, rewriting-request <rewriting-request AT ens-lyon.fr>, SIGSOFT-L <sigsoft-l AT acm.uiuc.edu>, socinfo <socinfo AT cs.tut.fi>, theorem-provers <theorem-provers AT ai.mit.edu>, theory <theory AT cl.cam.ac.uk>, theory-logic <theory-logic AT cs.cmu.edu>, theorynt <theorynt AT listserv.nodak.edu>, Types <types AT lists.chalmers.se>, types-announce <types-announce AT lists.seas.upenn.edu>, vki-list <vki-list AT dfki.de>
- Subject: [Coq-Club] Barry Cooper Prize - Call for Nominations
- Date: Fri, 15 Nov 2019 09:46:38 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gianluca.dellavedova AT unimib.it; spf=Pass smtp.mailfrom=gianluca.dellavedova AT unimib.it; spf=None smtp.helo=postmaster AT mail-qk1-f195.google.com
- Ironport-phdr: 9a23:HBNY5B90iT1Zxf9uRHKM819IXTAuvvDOBiVQ1KB91u8SIJqq85mqBkHD//Il1AaPAdyArasf16GP6fuocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmTSwbalvIBi4ogjdudQajZVsJ60s1hbHv3xEdvhMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTDQhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlTwKPCAl/m7JlsNwjbpboBO/qBx5347Ue5yeOP5ncq/AYd8WWW9NU8BMXCJDH4y8dZMCAeQBM+hGsofzpFQBogejCgejCuzi0SNIi3zs0KEmz+gsCwPL0Qo9FNwOqnTUq9D1Ob8TX+C01qbIyzHDb+5K1jjn9YPGfA4uofWIXb1qbMHexlcgGB7CjlWOs4PuIjSY1usMs2eB6epgUf+vhHI9pA1rvzeg2MMsio3TiYIL1F/L6CJ5wJgvKtCjVU57Z9+kEJ5Rty6BLYd2Q98iTnhutS0nybMGoYa2cDYWxJkj3RLSaPyKf5KW7h79SuqdOyp0iXZldb6nhBu+7VKsxvD/W8S6ylpHoTBJnsTSun0P0RHY99KJReFn/ki73DaCzwDT5f9AIUAzjafbLoQuwr80lpYKqETDHTL6lFz4jKOLckgp+vKk6+vgYrXhqZ+cM5F7hhviPaQpn8yzGeU4Mg4QUGiH4emwyqHv8EnjTLhJjvA6iLfVvI7EKcgBu6K0Bw9Y3p4m6xmlDjem1NoYnWMALFJAYB+HgInpNEvIIPD8EPewn06jnC12yP/YOr3hBo/CLmbdn7j8erZ99VRTxREuzdBZ5pJUD7ABL+npVk/wqNzUFgU5PBCsw+b7FNV90ZsTVn6IAq+AKa/drVuI5v80LOSXf48UuDP9K+A/6PL0jH85n0Udfaiz0pcNZnC4BOxqI0CDbnrthtcBH30Kvg07TOHyh12CUCRcZ3C2X6Ih+j40EoWqDYLdSYC2hbyBwD+7EYdLZmBaClCMCWnnd5+fW/cLbiKdOMthkj0YVbmhUoMs0Q+iuQHkx7dlLOfY5C4VuYv92NRp6ODelx4/+D97Asmeym2NQGB0kXkORz8ywaBwvVZyxk2e3qdmh/xYEcZc5+1XXQgnMp7c0fZ1BsjqVwLceNeJSVOmQtS9Dj0rT9Ix38QDbFtjFNWmihDMxTSqDKEImLyMGpw76LjQ33/rJ8ZyzXvNybcsj107QstUKW2pmLR/+RXSB4/IjUqUj7qmJuwg23vk20uqhT6Hs01ReApxSrneG3sfb0/ToM7ioFjPGfvmALsqNBdagZqLJaZMdsbBhk4AWfLpM5LTb3/n3y+RAxiP3LaFcIvhYC0wwT/aEEVMxwkV+3GbMwMzLianrWXECTVyFFn0Jk7x6+5mpTW8VEBii0mjVGkpg7Ou/jYLjOeHQulV074Z7mNpoDxxGBO53snKQ46Lrg9lOaFdes8V4VFd1GufuRYretSrJrxviVkEcgls9xfl3gl6BYJakMUxhHY2xUx5IPTcmFhKfnaclcT7MbSSLkH2/QuzcOjL0U2Y2d3Q6K5ZrLwzrFDntQvhQkEl9nFu2fFe1H6Y75+MCxpUWJm3T0Vhs1BxoLfUbzMw4YjZzjU4Oq6yvDLY1tQiCfANwRGlZ8pDPbnCExX9RYlSDM+3becuhlLhOhkDJaVZ8LM+F8KgbfqPnqCxaqIokDi5in5D7Mgp3kiT8DB4RsbDxNAawuqTmAaLSmG4xHqIifvL0dRJbCoJAi+6xC3uCZRKTqlzZpoQT2OjZcS8gMh90dqlVnVf80bmBlUI34f9dBGVaES43Ate0mwaqnuggW2/1TMi13knr6yewCGLxuPueR5CJm5GQ3NzxQPiII61k91fWU+kYgxsiBuo4lzr76xav7hkaXPMXUcNdiH9L2xkFKe94P7KbcsK4ZUutjhRW+m5bFaGUfaprR5f2iXlGHZYzz0+eje2ob39ngdmkySbJW166nXeZ5c0jRjW4dHHDape1z8LXwF8iCLLHR6mIMWpuNydnJfOtKayWjTlHrJJeBXxxMvUuzGy+XdjKRm+hOyo3MDhEE0i2CP2zdNtTyOOoBuqJsHq2aGhMO0vKkhmAUT95OJxAcdimYd2hZxGnTAbnpyR/GEb2TPyKdxf2LniRH4MXiIQzsTL7RKjxFBuaHSNkcaxUnuW2Y5gYcW3eG4Nxmpp685BE+KV6qBJhyZuvnK0phmXbPQ7lzxb1Ph4rDY+osoy8F4pxz7YBrEZBmFcPDfwjFKU8pW0ob9TZWDpfbXmkAJ6nNasBavK9gVdXnvwYL8pBmlr8sx5PlXW3Dv+5pyyPJHUbMkPrRefmBaFi6ABLJMqiuEAjiFmfGbVpncujekhglpkx8f+9IyAJGRmtPa9BRFZPRXwbt8TvCzrjONUmcCQmYyiSNEpHDgUR5/lUe6lCnpGs/n4LAKDDCExsF+SEKDeGwTZ711p+TaHFY+zKzSWIncehYFkWwGBYU1Zjgc8WDQhgoV/FwehgsHsJgMx3j0N/F/epwcEnvplKwP+VGrDjAauZDAuTZGDLRkQ8wdDokfcNMaD9O01EywOutW5tguCb2iSYQsAWXoCWwmIBlP+e6G04taF9+GeCcK6LuDSJ7aT7+BdAbPA/Yio1YVa/zuLLNTHakF4CPo15kpOWmpoM+DYgCkUDQYeiyKLRsXdmTTqvmVto9+l8ejqXg2q/4aWFrZJLZ074R2pm6afNuifwTx0MCtVzY8kyHnTjbwO21hUhTs4M3GWMJs7kgDxCYaYzrRWAAUcZT82MONB5Kd6wwhQMojWhs6jkvZjifU0DVlCHQj6ncqoY8INC2qmck/aGACFNeLCbSHLzsbtbKb5UadXkuhOrFXkpTaWFFXuO3GbjT73Wgq0GehNyiSaIFpTtJzrNl5xCWXkVsOuPgG7PdhtnBU9xfs/j3aMPGVaLDsqNwtRrrCX9zIdhvJwGmcJumZlIO6eimOd6ObZIb4dqr1gBzkymu5HtjBy17tY6ztVQuA9zDfSo9l0sle6uu2O0SZ8XQBQ7DBMiIuI+0huJPOdvqVRQXvftEYR/H2dEDwOpsB5EZvku6lUz9XVj+ToJWEGu87F5cYHQsHSLsWaNnEseU71CSbZF04MSzisKGfUimRZkeqO7TuOo5Eh7IX0lZwIDLJXSQpxXu0ZCwFhHcceaMNpXTJhlb+AkOYE63m/6hXcEpZ0pJfCA92TCPPrNT2QxZVJYx8BiY31IYMNP8Wv1E1rbF1nl42MF0fUWdlTryFmcAYcvUNM9Xl0CGwvjRG2Ijix6WMeQKbn1iU9jRFzNKF0rG+1vwUHY2HSrS51q3Ef3M3/iGnIIiP3LaKxV8dXF3is7hVjAtbAWw9wKDaKswlkOTPDHewDirJhcSVyi1aZt8IeRLhTSqpLZBJWzvaSNa1xgAZs7x6/zEoC3tPrTJ5rlQ8ka5mp9isSxgRiad8/Y63MdvNE
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 AT 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.
- [Coq-Club] Barry Cooper Prize - Call for Nominations, Gianluca Della Vedova, 11/15/2019
Archive powered by MHonArc 2.6.18.