* [Caml-list] First ETAPS Doctoral Dissertation Award
@ 2019-12-15 23:45 Tarmo Uustalu
0 siblings, 0 replies; only message in thread
From: Tarmo Uustalu @ 2019-12-15 23:45 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.
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.
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:
The deadline for nominations is January 19th, 2020.
Caterina Urban (chair)
Amal Ahmed (representing ESOP)
Dirk Beyer (representing TACAS)
Andrew Pitts (representing FoSSaCS)
Perdita Stevens (representing FASE)
^ permalink raw reply [flat|nested] only message 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 --
2019-12-15 23:45 [Caml-list] First ETAPS Doctoral Dissertation Award Tarmo Uustalu
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:
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git