caml-list - the Caml user's mailing list
 help / color / Atom feed
From: Tarmo Uustalu <tarmo@cs.ioc.ee>
To: caml-list@inria.fr, coq-club@inria.fr, haskell@haskell.org,
	agda@lists.chalmers.se
Subject: [Caml-list] First ETAPS Doctoral Dissertation Award, final call for nominations
Date: Wed, 15 Jan 2020 01:49:34 +0000
Message-ID: <20200115014934.2cabe511@cs.ioc.ee> (raw)

First ETAPS Doctoral Dissertation Award
=================================

The European Joint Conferences on Theory and Practice of Software
Association has established a Doctoral Dissertation Award to promote
and recognize outstanding dissertations in the research areas covered
by the four main ETAPS conferences (ESOP, FASE, FoSSaCS, and TACAS).

Doctoral dissertations are evaluated with respect to originality,
relevance, and impact to the field, as well as the quality of writing.
The award winner will receive a monetary prize and will be recognized
at the ETAPS Banquet.

Eligibility
-----------

Eligible for the award is any PhD student whose doctoral dissertation
is in the scope of the ETAPS conferences and who completed their
doctoral degree at a European academic institution in the period from
January 1st, 2019 to December 31st, 2019. 

Nominations
-----------

Award candidates should be nominated by their supervisor. Members of
the Award Committee are not allowed to nominate their own PhD students
for the award.

Nominations consist of a single PDF file (extension .pdf) containing:
* name and email address of the candidate
* a short curriculum vitae of the candidate
* name and email address of the supervisor
* an endorsement letter from the supervisor
* the final version of the doctoral dissertation
* institution and department that has awarded the doctorate
* a document certifying that the doctoral degree was successfully
completed within the eligibility period 
* a report from at least one examiner of the dissertation who is not
affiliated with the candidate's institution

All documents must be written in English. Nominations are welcome
regardless of whether results that are part of the dissertation have
been published at ETAPS.

Nominations should be submitted via EasyChair:

	https://easychair.org/conferences/?conf=etapsdda2020

The deadline for nominations is January 19th, 2020.

Award Committee
---------------

Caterina Urban (chair)
Amal Ahmed (representing ESOP)
Dirk Beyer (representing TACAS)
Andrew Pitts (representing FoSSaCS)
Perdita Stevens (representing FASE)
Marieke Huisman

                 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=20200115014934.2cabe511@cs.ioc.ee \
    --to=tarmo@cs.ioc.ee \
    --cc=agda@lists.chalmers.se \
    --cc=caml-list@inria.fr \
    --cc=coq-club@inria.fr \
    --cc=haskell@haskell.org \
    /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