The Coq mailing list

[Ralf Jung <jung AT mpi-sws.org>]

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 degree of reproducibility (where this 
applies). 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, 2021 to December 
31st, 2021.

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
* (optional) extra endorsement letters

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=etapsdda2022

The deadline for nominations is January 7th, 2022.

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

Caterina Urban (chair)
Nobuko Yoshida (representing ESOP)
Mariëlle Stoelinga (representing FASE)
Andrew Pitts (representing FoSSaCS)
Holger Hermanns (representing TACAS)
Marieke Huisman
Ralf Jung

Contact
-------

All questions about submissions should be emailed to the chair of the award 
committee, Caterina Urban <caterina.urban AT inria.fr>.