caml-list - the Caml user's mailing list
 help / color / Atom feed
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
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 index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publically 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

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git