<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="EN-GB" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"> ACKERMANN AWARD 2023 <o:p></o:p></p>
<p class="MsoNormal">EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE<o:p></o:p></p>
<p class="MsoNormal"> 2ND CALL FOR NOMINATIONS<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Nominations are invited for the 2023 Ackermann Award.<o:p></o:p></p>
<p class="MsoNormal">PhD dissertations in topics specified by the CSL and LICS<o:p></o:p></p>
<p class="MsoNormal">conferences, which were formally accepted as PhD theses at a<o:p></o:p></p>
<p class="MsoNormal">university or equivalent institution between 1 January 2022 <o:p>
</o:p></p>
<p class="MsoNormal">and 31 December 2022 are eligible for nomination for the award.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The deadline for submission is 1 July 2023. <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Nominations should be submitted by the candidate or the supervisor
<o:p></o:p></p>
<p class="MsoNormal">via Easychair:<o:p></o:p></p>
<p class="MsoNormal"><a href="https://urldefense.com/v3/__https://easychair.org/my/conference?conf=ackermann23__;!!IBzWLUs!UWh_OUTvz8wr5qCgif2wJY6IZ--Cu1el5204yTyXCW10onxm6Au1qm0Wm_RjKnZABRhdXD-fGo-B2gftYabI2V-B6yQadaAE2a_7fnRFjCKx$">https://easychair.org/my/conference?conf=ackermann23</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Please submit a pdf file containing:<o:p></o:p></p>
<p class="MsoNormal">1. a summary in English of the thesis (maximum 10 pages), <o:p>
</o:p></p>
<p class="MsoNormal">providing a gentle introduction and overview of the thesis, <o:p>
</o:p></p>
<p class="MsoNormal">highlighting the novel results and their impact and <o:p></o:p></p>
<p class="MsoNormal">including a link to the thesis (please do not include the <o:p>
</o:p></p>
<p class="MsoNormal">thesis itself);<o:p></o:p></p>
<p class="MsoNormal">2. a supporting letter by the PhD advisor and two supporting
<o:p></o:p></p>
<p class="MsoNormal">letters by other senior researchers (in English);<o:p></o:p></p>
<p class="MsoNormal">3. a copy of a document stating that the thesis was accepted
<o:p></o:p></p>
<p class="MsoNormal">as a PhD thesis at a recognised University (or equivalent <o:p>
</o:p></p>
<p class="MsoNormal">institution) and that the candidate was awarded the PhD <o:p>
</o:p></p>
<p class="MsoNormal">degree within the specified period;<o:p></o:p></p>
<p class="MsoNormal">4. a short CV of the candidate.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">*** The Award<o:p></o:p></p>
<p class="MsoNormal">The 2023 Ackermann award will be presented to the recipient(s)
<o:p></o:p></p>
<p class="MsoNormal">at CSL 2024, the annual conference of the EACSL.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">The award consists of a certificate, an invitation to present
<o:p></o:p></p>
<p class="MsoNormal">the thesis at the CSL conference, the publication of the <o:p>
</o:p></p>
<p class="MsoNormal">laudatio in the CSL proceedings, an invitation to publish <o:p>
</o:p></p>
<p class="MsoNormal">the thesis in the FoLLI subseries of Springer LNCS, <o:p></o:p></p>
<p class="MsoNormal">and financial support to attend the conference.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">*** Ackermann Jury<o:p></o:p></p>
<p class="MsoNormal">The jury consists of:<o:p></o:p></p>
<p class="MsoNormal"> * Christel Baier (TU Dresden)<o:p></o:p></p>
<p class="MsoNormal"> * Maribel Fernandez (King’s College London), president of EACSL<o:p></o:p></p>
<p class="MsoNormal"> * Jean Goubault-Larrecq (ENS Paris-Saclay)<o:p></o:p></p>
<p class="MsoNormal"> * Joost-Pieter Katoen (RWTH Aachen University), ACM SigLog rep.<o:p></o:p></p>
<p class="MsoNormal"> * Delia Kesner (IRIF, U Paris Cite)<o:p></o:p></p>
<p class="MsoNormal"> * Slawomir Lasota (U Warsaw)<o:p></o:p></p>
<p class="MsoNormal"> * Florin Manea (U Goettingen), vice-president of EACSL<o:p></o:p></p>
<p class="MsoNormal"> * Prakash Panangaden (McGill University)<o:p></o:p></p>
<p class="MsoNormal"> * James Worrell (U Oxford)<o:p></o:p></p>
<p class="MsoNormal"> <o:p></o:p></p>
<p class="MsoNormal">For more information please contact Maribel Fernandez: <o:p>
</o:p></p>
<p class="MsoNormal"><a href="mailto:Maribel.Fernandez@kcl.ac.uk">Maribel.Fernandez@kcl.ac.uk</a></p>
</div>
</body>
</html>