caml-list - the Caml user's mailing list
 help / color / mirror / 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	[thread overview]
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	other threads:[~2020-01-15  1:52 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=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
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).