coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: jan.kofron AT d3s.mff.cuni.cz
- To: coq-club AT inria.fr
- Subject: [Coq-Club] ETAPS Doctoral Dissertation Award 2023
- Date: Fri, 07 Oct 2022 15:30:36 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jan.kofron AT d3s.mff.cuni.cz; spf=Pass smtp.mailfrom=jan.kofron AT d3s.mff.cuni.cz; spf=None smtp.helo=postmaster AT mail.d3s.mff.cuni.cz
- Dkim-filter: OpenDKIM Filter v2.10.3 mail.d3s.mff.cuni.cz E52934EB936
- Ironport-data: A9a23:v0rfbaCzrYyidxVW/+fnw5YqxClBgxIJ4kV8jS/XYbTApD9z1jNWn DcdWmrTO/qJZzOkKt9zbYXk80NUvMPTxtVgOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6jclkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/ouOZTdJ5xYuajhOsvrb90s21BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0HgkmVZCq9oMrLlCH65Ww63eXeEHrmdxjMmQWONwivcNoVDQmG fwwcFjhbziGjuOyhr7gUa9piMplJ9TtPcUUqBmMzxmAXKtgGMmYBf+So4YFjV/chegWdRraT 8gQb3xsaxraZBtnNgwMTpcwkqGjm3/+NTZKwL6QjfdpvjGJlVIouFTrGMbyaNjSaIZJpAG7o yX9/UmkAQ8/CsPKnFJp9Vr13bOex36mMG4IL5Wz8ecvi1mOzEQIGRgOXB26p+O4gwiwQbpix 1c8/yMvqe4+r1ftS9fzGRalpn/CtQx0t8ds//MS0FvU6Y7usg2jATItQwBkSNl3jogTWml/v rOWpO/BCTtqubyTbHuS8LaIsD+/URT5y0dZO0foqiNes7HeTJEPYgHnE447TvTl5jHhMWisn 2rT8kDSkp1O5fPnwZlX6njssVpATLDxVAc6+wi/somNt1kpLNb9D2BEwXjf5OhGLc6cQ0Kdu zA8gcGe5Ygz4XylkSWMRKMBR6rv4viLdjbBh18pFItJG9WRF5yLIdE4DNJWfRkB3iM4ldnBO hG7VeR5vsY7AZdSRfUrC79d8uxzpUQaKfzrV+rPcv1FaYVreQmM8UlGPBDOgji9yRB2zvhgZ P93lPpA615GWMyLKxLrHI8gPUMDm3xWKZ77Fcyrn0X5uVZgTCfMF+pt3KSyghARtfjY8V+Ir r6zxuOBxg5ZXfG2cG/Mt5ZVKhZiEJTILc2eliCjTcbae1oOJY3XI6GNmO9Jlk0Mt/89q9okC VnmABYEkgSh1CKWQehIA1g6AI7SsV9EhSpTFUQR0ZyAghDPuK7+tPlNRIh9ZrQ96u1owNh9S vRPKY3KAe1CRn6Ds34RZIX05t4qPhm6pxO8Dwz8ahgGfrlkW1Po/P3gdVDR7yUgNHe8mvY/h LyC7TnlZ6Q/aT5sN+voTc6+7kiQuCEdkd1iXkGTLdh0fl7twbdQKCfwr6EWJpgMICrc2wm28 RSyBE4dl+iQoYMKrcHtgIbajoa2EtlRGlhRMHnb4I2Xawjb3DuH6q1RXNmYeQvyUDvPx5yjQ uFO3dTQCeYijn8Wl6ZdSpFFlbkf4fnrrJ9kljVUJm3BNQmXO+kxM0u40tlqnYwT4L1g4C+de F+Fo/teMpW3YPLVKkYbflcZX77SxMMvu2fg6NouKx/H/w5xxr2MVHtSMzSqiCBwKLhUMpsv8 dw+ufw5uhCOtR43Dumo1ixk1XyADnglYZUVsps3BIzKiA1yxGpSPr3aKCv9u6+UZ/t2b0IFH z6zhYj5vYp6+HbsSXQJKCXy7bJvvqhW4BFu530eFmuNgevA16MW3gUO0DEZTTZ17xRg0sBwH zNOKkdKF6Cq+hExjs1AQlH3HABlLz+a83zX1FEmujD4TU6pd2qVN0w7G7+H0344+lJmXApw3 e+n2kP6dh31befN3icWcmx0mczJFNBe2FXLp5G6Ip6jAZI/XwvAvoavQmg58z3cHsI7gRz8l 9lApepfR/XyCn8NnvcdFYKf6LU3TSKELkxkRdVK3vsAPUPYSQGI9Qm+EWKDUeITGKWS6m69M dJkGexXXRfn1CqukCESNZRRH5BKxswW9PgwUZK1A15eqLaOjCtbgLSJ/AjEuWIbadFPk8E8F 4DvSwy/AlGg3Xt5pmucg/RHa0yZYMYFbjLSxOqa0vsEPLNdvfBOcXMd6KqVvXKUAidB7TaR5 QbxZvLUw9M/0aBpudXNE7pCNSqwO9jcROSFyyHtktVsPPfkE9bCiBMRkXbjZz9pBLo2X89ls JiCq/v14R/1h6k3WGXnhJWxLalFysGsVu5xMMisDn1lsQadec3ruT0vxnuZLMFXrdZj+cWXf Qu0R8+uf9ozWd0G5nl0aTBbIikNGZbMcabsiiOsncuiUiFH/1T8E+qm0nv1YUVwVCwCYcT+A zCpncee3IlTqYAUCSIUA/1jPYRDH2bifqkYJu3B7WzSSiHih16ZobLtmCYx8TyBWDHODM/+5 omDXRTkMgi7vKbT1txCrohupVstAW1ghfUrNFcokzKsZ+tW0EZdRQjcDXkHNn2Quin71ZW+a GrWKm4sB2P2QDJFNx7uiDgmssFzGcRWUuoV5BRwl69XV8tyLI/bG/1k+Ckm6Gpwe33o3olL7 PkAr2boMEHZLo5BHI4uCz/SvQuj7v+B3TQN9067mNH0AlAVE93mEZCn8BVlDUT6Li0GqKkHy aXZi4yJrIFXhHMdyfpdRkM=
- Ironport-hdrordr: A9a23:hxvGh6NX2phOaMBcTsejsMiBIKoaSvp037BN7TELdfU1SL3hqy jN9M526faQslkssR4b6LO90cW7MBHhHP1OkPAs1NWZLW7bUQKTRekIh+aCowEIcBeOktK1u5 0QFpSWROeAa2SSUvyV3DWF
- Ironport-phdr: A9a23:fB+btxI8XmULzLQhn9mcuCtsWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFvrM20gCCA96TwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7ye6/94fdbghJhjexbrJ/I RurpgjNq8cahpdvJLwswRXTuHtIfOpWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+V rxYES8pM3sp683xtBnMVhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Xymp4 aV2Rx/ykCoJOT43/n/KhMJzgq1Urw6uqRNkzo7IYoyYLuZycr/HcN8EQ2dKQ8ZfVzZGAoO5d 4YPDfAOPeBCo4n+oFsOowG+BQ6qBO701zBFiGT20bc/0+QvHwHKxhAvH88IsHTVttn6KKYTX Oaox6bH0TvNdelZ2Svh6IfWaBAhp+mBULx/f8fMx0QiEx7Ig0iQpIH7Pz2YyOAAvmiF4udkS e+ii3IrpxxvrzavyMohhJTFi4IaxF3L6yl13Yc4K92lREN9fNWqHpxQtySAOIt3RMMvW39nt zwhyrwGpZG7fDIFyJU9xxLFbPyHaYeI7xT+X+iSOTd1nG9pdba/ihqo7ESs1+PxWtOq3FpWt CZJj9nBu3QV2xDO7sWKSuFx8lq81TuBzQzf9P1ILVowmKbFLZMq36Q+mYAJsUvZGy/7gEX2g 7GSdkUj4uWo7v7oYrTippOGKoB5hBr+Pr4rmsyxD+Q0KBQBX3Wd+eS9zrHs4Uz4TK1Ljv0wj KbZrIjXKdkfq6O5GQNZz5sv5hilAzu4zNgUh2QLIVJBdR6fiojmIVDOIPT2DfelhFSslS9mx /LcMb3nGJnNLX/DkLn7fbZ67U5R0xc8wN5E555OD7EBLvzzVlXtu9zFCB85Mha4zPrmCdll0 IMRQnqAArWFP6PKrV+I+uUvLvGRaIMNojbyN+Al5+LyjX8+gVISYa6p3YIOZH+kGvRmPl6Wb GH3gtYBFGcKphAxQPbriF2ESz5TZmy9U7gy5jEhW8qaCtLIQZnoi7ic1g+6GIdXbyZIEAOiC 3DtIoeNXbEPbyyIJclJnmcfE72vRckqyBev8gTomOkvFfbd5iBN7cGr79Ny/eCGzXnalBRxB sWZiSSWSn1s23kPTHkw1bx+pkp0zhGC17J5irpWD48b/OtHByE9M5OU1OlmE5bqQAuUfN6PD lWhTM+hBxk9Fcl3xtEAJU1gHdTkhQKQlzGyDeotnqeQTIcx7rqa2nHwI8hnzHOT1qAnyVohT NFIM0Wq3bU58gbdQYXUlUTfnLT5Pb8E0nvr82GOhXGLoFkeUAN0VvDdWmsDY0LNsdnjzkbLT rvoBe88dA5Px4iJN61LLNb75blfbNHkPtmWI2e4mmPqQA2N2qvJdo3hPWMUwCTaDkEA1QEV5 3ePcwYkVG+npCrFATpiGEiKAQuk+PRiqH69Uk4/zh2bJ0xn2b2v/xcJhPuaA/oN17MAsS0lp n16BlG4l97RDtOBoUJmcsA+KZs/6VEB1mXXrQt7FpD7NOZniFBYeBlxvgXlxVQ/C4lNl9Qrs GJ/1BB7esf6mBtKczKV24y1O6WCczivukn2MOiMgheHjYfFn8VHoO41oFjiogyzQ08r8nE9l sJQz2PZ/JLBSgwbTZP2VE8zsRl8vbDTJCcntOa2nTVhN7e5tjja1pcnHuwgn1yidtEZM6SKD gj0O8FBHI6rJuJskEWvb1QPLqoBkcx8d9PjbPaA1KOxaaxilTTgjmNJ+od7+k7X7Gx5ROCO1 IsDwreTzEHUMlW0xEfkucfxl4deYDgUFWfq0inoCrlaYahqdJoKA2OjSyGu7u13nIWlG3tR9 Vr5QkgDxNfsYx2ZKVr0wQxX000T532hgyqxiTJuwXklqa+W3SqGxOqHFlJPOGdNAmplg03rJ 6C41MtcWUamKQM0khrj7lSyy6VApat5JnXeWg8RLnWwdjg5FPHo8OPfMoZG8/ZK+W1PXf65Y EyGR7K1uBYc3y75XiNfyD09azC2q8D8lh1+hniaKSUWzjKRcsVxyBHDod3EEKcAg3xfHXI+0 2GRXwXtbLzLtZ2OmpzOs/6zTTekX5xXK2zwyJ+Y8TG87itsCAG+mPa6npvmFxI72Gn1zYoPN 22AoRDib43sz6n/P/hgexwiBlb6rcl9FJt5lKM834pW3HYUwJ6I+3tBmnW5YrA5keruKWEAQ zIG2Yuf4gHjnk5kIGiOwar1DW7bx8VvIdKnZGJQ0TB3vKUoQO+EqbdDmyVyuF+xqwncNON8k jkqwvwr8HcGgusNtVll3mCHD7sVB0UdIT30mkHC8YWltKsOLjXKE/D4xA9kkNumFr3HvgxMR COzZMI5BSEppsRnbACVgSC1s9i/PoOIK4xL/hyMz0WZ3rUTcctq0KBSw3c6XAC19Xw9lbxh1 UQ3j87j7NreJj02rvLhW0wKbWK9ZttPqGi80OAHx53QhdjpR8gwUjAbDprzC/m1FjNUvuaCV U7GRzQ4rj3z9aP3OwiZ5Q8mqnvOF8ruLHSLPDwDyt4kQhCBJUtZiQRSXTMgn5d/GBr4jMrmO Fx04Dwc/Dua4lNF1/5oOh/jU2zeuBbgazE6T4KaJQZX6QcK7lncMMiX5OZ+Vy9C+ZjpoAuII 22dLwNGaANBElSDHEzmN6Ky6MPo9uGZAqyydOCIZLuA7+dDUfbOzoDumopq8jCQN9mea3lvC /povygLFXt9Gsnfh3AOU3lOxn+LNpfA4k3kvHQq/5PakryjQg/k6IqRBqEHNNxu/0rzmqKfL 6uKgy0/Lz9E15QKzHuOyb4F3VdUhTs9ElvlWbkGqyPJS7rd36FNCBtOISF6Mo1L6Kwm2Q9lN ZXAzNb72Phzk/g0TVxXHw+E+InhdYkRLmexOUmSTl6ML6iDLCbXztvfZKq9Tftc1/4SshO+/ z2GFU6lNSbJxFyLH1i/dOpLii+cJhlXvoqwJw1sBWbUR9XjchSnMdVzgFXeLpU43WiMMGASd zNhdUILpa/CtEuwZ91zQHcH63Rra+KZnSff5PuKcv7+UNNuCyVw0e4B+zI/xbUT5zxCRbp+i nmKxuM=
- Ironport-sdr: 63402a00_Fn7JFkwF8hzRWzSoEfHuy2kJ4zX/BffcmldEapOPDj+E2Aa HPrB1FwH9Z+9s4clG4Hc5cTZp81if7wFFZ4xuQQ==
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, 2022 to
December 31st, 2022.
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=etapsdda2023
The deadline for nominations is January 16th, 2023.
Award Committee
---------------
Caterina Urban (chair)
Nobuko Yoshida (representing ESOP)
Reiko Heckel (representing FASE)
Andrzej Murawski (representing FoSSaCS)
Kim G. Larsen (representing TACAS)
Marieke Huisman
Sebastian Wolff
Contact
-------
All questions about submissions should be emailed to the chair of the award
committee, Caterina Urban <caterina.urban AT inria.fr>.
- [Coq-Club] ETAPS Doctoral Dissertation Award 2023, jan . kofron, 10/07/2022
Archive powered by MHonArc 2.6.19+.