caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] First ETAPS Doctoral Dissertation Award, final call for nominations
@ 2020-01-15  1:52 Tarmo Uustalu
  0 siblings, 0 replies; 1+ messages in thread
From: Tarmo Uustalu @ 2020-01-15  1:52 UTC (permalink / raw)
  To: caml-list, coq-club, haskell, agda

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

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-01-15  1:52 [Caml-list] First ETAPS Doctoral Dissertation Award, final call for nominations Tarmo Uustalu

caml-list - the Caml user's mailing list

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

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