<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;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@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"><span style="font-size:11.0pt"> ACKERMANN AWARD 2024
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> CALL FOR NOMINATIONS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Nominations are now invited for the 2024 Ackermann Award.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">PhD dissertations in topics specified by the CSL and LICS<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">conferences, which were formally accepted as PhD theses at a<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">university or equivalent institution between 1 January 2023
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">and 31 December 2023 are eligible for nomination for the award.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The deadline for submission is 1 July 2024.
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Nominations should be submitted by the candidate or the
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">supervisor via Easychair:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><a href="https://urldefense.com/v3/__https://easychair.org/my/conference?conf=ackermann2024__;!!IBzWLUs!QAhdowBYLQY8YKhScd_TGydt0otTwINTSLPWRPXM50einrCXeUys6bfSUM9Kz5RVCNKRuS2lp5tGJ-eDg-LrACotC3QwggfVdWff_s6dlVYf$">https://easychair.org/my/conference?conf=ackermann2024</a><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">Please submit a pdf file containing:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">1. a summary in English of the thesis (maximum 10 pages),
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">providing a gentle introduction and overview of the thesis,
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">highlighting the novel results and their impact and
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">including a link to the thesis in the first page
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">(please do not include the thesis itself);<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">2. a supporting letter by the PhD advisor and two supporting
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">letters by other senior researchers (in English);<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">3. a copy of a document stating that the thesis was accepted
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">as a PhD thesis at a recognised University (or equivalent
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">institution) and that the candidate was awarded the PhD
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">degree within the specified period;<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">4. a short CV of the candidate.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">*** The Award<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The 2024 Ackermann award will be presented to the recipient(s)
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">at CSL 2025. <o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The award consists of a certificate, an invitation to present
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">the thesis at the CSL conference, the publication of the
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">laudatio in the CSL proceedings, an invitation to the winner
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">to publish the thesis in the FoLLI subseries of Springer LNCS,
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">and financial support to attend the conference.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">*** Ackermann Jury<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">The jury consists of:<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> * Albert Atserias (UPC Barcelona)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> * Christel Baier (TU Dresden)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> * Andrej Bauer (U Ljubljana)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> * Javier Esparza (TU Munich)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> * Maribel Fernandez (King’s College London), EACSL president
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> * Joost-Pieter Katoen (RWTH Aachen U), ACM SigLog rep.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> * Delia Kesner (IRIF, U Paris Cite)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> * Slawomir Lasota (U Warsaw)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> * Florin Manea (U Goettingen), EACSL vice-president
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"> * Prakash Panangaden (McGill U)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">For more information please contact Maribel Fernandez:
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><a href="mailto:Maribel.Fernandez@kcl.ac.uk">Maribel.Fernandez@kcl.ac.uk</a><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>