<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<br class="">
<div>
<blockquote type="cite" class=""></blockquote>
<font color="#5856d6" class=""><span style="caret-color: rgb(88, 86, 214);" class=""><br class="">
</span></font><span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> ACKERMANN AWARD 2024</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> CALL FOR NOMINATIONS</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> </span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">Nominations are invited for the 2024 Ackermann Award.</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">PhD dissertations in topics specified by the CSL and LICS</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">conferences, which were formally accepted as PhD theses at a</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">university or equivalent institution between 1 January 2023</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">and 31 December 2023 are eligible for nomination for the award.</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> </span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">The deadline for submission is 1 July 2024.</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> </span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">Nominations should be submitted by the candidate or the</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">supervisor via Easychair:</span><br class="">
<a href="https://urldefense.com/v3/__https://easychair.org/my/conference?conf=ackermann2024__;!!IBzWLUs!VTQwmV1OgSboCqCAa6e0KpI9hyxHntzwPmjfmJ8cDQ3ThpzCouCx-W2DN0jySk0fMdUCA34NCK8_j3YUMeTQ1Ss14fimfu3CRsGeS5iylGcS$" class="" style="font-size: 11pt; font-family: Calibri, sans-serif; color: rgb(5, 99, 193);">https://easychair.org/my/conference?conf=ackermann2024</a><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> </span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">Please submit a pdf file containing:</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">1. a summary in English of the thesis (maximum 10 pages),</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">providing a gentle introduction and overview of the thesis,</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">highlighting the novel results and their impact and</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">including a link to the thesis in the first page</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">(please do not include the thesis itself);</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">2. a supporting letter by the PhD advisor and two supporting</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">letters by other senior researchers (in English);</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">3. a copy of a document stating that the thesis was accepted</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">as a PhD thesis at a recognised University (or equivalent</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">institution) and that the candidate was awarded the PhD</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">degree within the specified period;</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">4. a short CV of the candidate.</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> </span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">*** The Award</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">The 2024 Ackermann award will be presented to the recipient(s)</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">at CSL 2025.</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> </span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">The award consists of a certificate, an invitation to present</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">the thesis at the CSL conference, the publication of the</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">laudatio in the CSL proceedings, an invitation to the winner</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">to publish the thesis in the FoLLI subseries of Springer LNCS,</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">and financial support to attend the conference.</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> </span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">*** Ackermann Jury</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">The jury consists of:</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> * Albert Atserias (UPC Barcelona)</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> * Christel Baier (TU Dresden)</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> * Andrej Bauer (U Ljubljana)</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> * Javier Esparza (TU Munich)</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> * Maribel Fernandez (King’s College London), EACSL president</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> * Joost-Pieter Katoen (RWTH Aachen U), ACM SigLog rep.</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> * Delia Kesner (IRIF, U Paris Cite)</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> * Slawomir Lasota (U Warsaw)</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> * Florin Manea (U Goettingen), EACSL vice-president</span> <br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""> * Prakash Panangaden (McGill U)</span><br class="">
<span style="font-size: 11pt; font-family: Calibri, sans-serif;" class=""><br class="">
</span></div>
<div><span style="font-size: 11pt; font-family: Calibri, sans-serif;" class="">For more information please contact Maribel Fernandez:</span> <br class="">
<div class="WordSection1" style="page: WordSection1; caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;">
<div style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;" class="">
<span style="font-size: 11pt;" class=""><o:p class=""></o:p></span></div>
<div style="margin: 0cm; font-size: 12pt; font-family: Calibri, sans-serif;" class="">
<span style="font-size: 11pt;" class=""><a href="mailto:Maribel.Fernandez@kcl.ac.uk" style="color: rgb(5, 99, 193); text-decoration: underline;" class="">Maribel.Fernandez@kcl.ac.uk</a></span></div>
</div>
</div>
<br class="">
</body>
</html>