From: Gianluca Della Vedova <gianluca.dellavedova@unimib.it>
To: AGDA <agda@lists.chalmers.se>, agents <agents@cs.umbc.edu>,
Informatics Europe <announce@informatics-europe.org>,
ASL <asl@vassar.edu>, caml-list <caml-list@inria.fr>,
categories <categories@mta.ca>, cca-l <cca-l@lists.uct.ac.za>,
comlab <comlab@comlab.ox.ac.uk>,
conferences <conferences@computer.org>,
coq-club <coq-club@inria.fr>, dbworld <dbworld@cs.wisc.edu>,
EASST <easst-members@lists.le.ac.uk>,
ecoop-info <ecoop-info@ecoop.org>,
finite-model-theory <finite-model-theory@lists.rwth-aachen.de>,
fm-announcements <fm-announcements@lists.nasa.gov>,
games <games@lists.rwth-aachen.de>,
GraTra <gratra@lists.uni-paderborn.de>, ifmsig <ifmsig@cs.tcd.ie>,
ipalist <ipalist@listserver.tue.nl>,
lfcs-interest <lfcs-interest@dcs.ed.ac.uk>,
LICS <las-lics@lists.tu-berlin.de>,
linear <linear@cs.stanford.edu>,
listsbcci-l <listsbcci-l@sbc.org.br>,
logic <logic@math.uni-bonn.de>,
newsletter <newsletter@aarinc.org>,
nwpt-info <nwpt-info@lists.ioc.ee>,
PetriNet <petrinet@informatik.uni-hamburg.de>,
prog-lang <sci-diku-prog-lang@list.ku.dk>,
ProofTheory <ProofTheory@Lists.Bath.Ac.UK>,
rewriting-request <rewriting-request@ens-lyon.fr>,
SIGSOFT-L <sigsoft-l@acm.uiuc.edu>, socinfo <socinfo@cs.tut.fi>,
theorem-provers <theorem-provers@ai.mit.edu>,
theory <theory@cl.cam.ac.uk>,
theory-logic <theory-logic@cs.cmu.edu>,
theorynt <theorynt@listserv.nodak.edu>,
Types <types@lists.chalmers.se>,
types-announce <types-announce@lists.seas.upenn.edu>,
vki-list <vki-list@dfki.de>
Subject: [Caml-list] Barry Cooper Prize - Call for Nominations
Date: Fri, 15 Nov 2019 09:46:38 +0100 [thread overview]
Message-ID: <20191115084638.blvnxwftylw3ubrs@nuc6> (raw)
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.
reply other threads:[~2019-11-15 9:03 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=20191115084638.blvnxwftylw3ubrs@nuc6 \
--to=gianluca.dellavedova@unimib.it \
--cc=ProofTheory@Lists.Bath.Ac.UK \
--cc=agda@lists.chalmers.se \
--cc=agents@cs.umbc.edu \
--cc=announce@informatics-europe.org \
--cc=asl@vassar.edu \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=cca-l@lists.uct.ac.za \
--cc=comlab@comlab.ox.ac.uk \
--cc=conferences@computer.org \
--cc=coq-club@inria.fr \
--cc=dbworld@cs.wisc.edu \
--cc=easst-members@lists.le.ac.uk \
--cc=ecoop-info@ecoop.org \
--cc=finite-model-theory@lists.rwth-aachen.de \
--cc=fm-announcements@lists.nasa.gov \
--cc=games@lists.rwth-aachen.de \
--cc=gratra@lists.uni-paderborn.de \
--cc=ifmsig@cs.tcd.ie \
--cc=ipalist@listserver.tue.nl \
--cc=las-lics@lists.tu-berlin.de \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=linear@cs.stanford.edu \
--cc=listsbcci-l@sbc.org.br \
--cc=logic@math.uni-bonn.de \
--cc=newsletter@aarinc.org \
--cc=nwpt-info@lists.ioc.ee \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=rewriting-request@ens-lyon.fr \
--cc=sci-diku-prog-lang@list.ku.dk \
--cc=sigsoft-l@acm.uiuc.edu \
--cc=socinfo@cs.tut.fi \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-logic@cs.cmu.edu \
--cc=theory@cl.cam.ac.uk \
--cc=theorynt@listserv.nodak.edu \
--cc=types-announce@lists.seas.upenn.edu \
--cc=types@lists.chalmers.se \
--cc=vki-list@dfki.de \
/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).