<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;}
@font-face
{font-family:Menlo;
panose-1:2 11 6 9 3 8 4 2 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;}
p.p1, li.p1, div.p1
{mso-style-name:p1;
margin:0cm;
font-size:9.0pt;
font-family:Menlo;
color:black;}
p.p2, li.p2, div.p2
{mso-style-name:p2;
margin:0cm;
font-size:9.0pt;
font-family:Menlo;
color:black;}
span.s1
{mso-style-name:s1;}
span.apple-converted-space
{mso-style-name:apple-converted-space;}
.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="p1"><span class="apple-converted-space"> </span><span class="s1">ACKERMANN AWARD 2023</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">CALL FOR NOMINATIONS</span><o:p></o:p></p>
<p class="p2"><o:p> </o:p></p>
<p class="p1"><span class="s1">Nominations are now invited for the 2023 Ackermann Award.</span><o:p></o:p></p>
<p class="p1"><span class="s1">PhD dissertations in topics specified by the CSL and LICS</span><o:p></o:p></p>
<p class="p1"><span class="s1">conferences, which were formally accepted as PhD theses at a</span><o:p></o:p></p>
<p class="p1"><span class="s1">university or equivalent institution between 1 January 2022</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">and 31 December 2022 are eligible for nomination for the award.</span><o:p></o:p></p>
<p class="p2"><o:p> </o:p></p>
<p class="p1"><span class="s1">The deadline for submission is 1 July 2023.</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p2"><o:p> </o:p></p>
<p class="p1"><span class="s1">Nominations should be submitted by the candidate or the supervisor</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">via Easychair:</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1"><a href="https://urldefense.com/v3/__https://easychair.org/my/conference?conf=ackermann23__;!!IBzWLUs!S1O-m31FjkRTC1Oq6-5I8G60D72erGarZSP6Jk7q1uG-b8iOPwPfjXxihcQVzbv-qKQxkIte136AU6W8-1QeFkOircIdhEAwIXSkCR0Vjlo8$">https://easychair.org/my/conference?conf=ackermann23</a></span><o:p></o:p></p>
<p class="p2"><o:p> </o:p></p>
<p class="p1"><span class="s1">Please submit a pdf file containing:</span><o:p></o:p></p>
<p class="p1"><span class="s1">1. a summary in English of the thesis (maximum 10 pages),</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">providing a gentle introduction and overview of the thesis,</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">highlighting the novel results and their impact and</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">including a link to the thesis (please do not include the</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">thesis itself);</span><o:p></o:p></p>
<p class="p1"><span class="s1">2. a supporting letter by the PhD advisor and two supporting</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">letters by other senior researchers (in English);</span><o:p></o:p></p>
<p class="p1"><span class="s1">3. a copy of a document stating that the thesis was accepted</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">as a PhD thesis at a recognised University (or equivalent</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">institution) and that the candidate was awarded the PhD</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">degree within the specified period;</span><o:p></o:p></p>
<p class="p1"><span class="s1">4. a short CV of the candidate.</span><o:p></o:p></p>
<p class="p2"><o:p> </o:p></p>
<p class="p1"><span class="s1">*** The Award</span><o:p></o:p></p>
<p class="p1"><span class="s1">The 2023 Ackermann award will be presented to the recipient(s)</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">at CSL 2024, the annual conference of the EACSL.</span><o:p></o:p></p>
<p class="p2"><o:p> </o:p></p>
<p class="p1"><span class="s1">The award consists of a certificate, an invitation to present</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">the thesis at the CSL conference, the publication of the</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">laudatio in the CSL proceedings, an invitation to the winner</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">to publish the thesis in the FoLLI subseries of Springer LNCS,</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">and financial support to attend the conference.</span><o:p></o:p></p>
<p class="p2"><o:p> </o:p></p>
<p class="p1"><span class="s1">*** Ackermann Jury</span><o:p></o:p></p>
<p class="p1"><span class="s1">The jury consists of:</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">* Christel Baier (TU Dresden)</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">* Maribel Fernandez (King’s College London), president of EACSL</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">* Jean Goubault-Larrecq (ENS Paris-Saclay)</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">* Joost-Pieter Katoen (RWTH Aachen University), ACM SigLog rep.</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">* Delia Kesner (IRIF, U Paris Cite)</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">* Slawomir Lasota (U Warsaw)</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">* Florin Manea (U Goettingen), vice-president of EACSL</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">* Prakash Panangaden (McGill University)</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">* James Worrell (U Oxford)</span><o:p></o:p></p>
<p class="p2"><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p2"><o:p> </o:p></p>
<p class="p1"><span class="s1">For more information please contact Maribel Fernandez:</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1"><a href="mailto:Maribel.Fernandez@kcl.ac.uk">Maribel.Fernandez@kcl.ac.uk</a></span><o:p></o:p></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"><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"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;mso-fareast-language:EN-GB">--<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;mso-fareast-language:EN-GB">Professor Maribel Fernandez<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;mso-fareast-language:EN-GB">Deputy Head of Department (Academic Planning)<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;mso-fareast-language:EN-GB">Department of Informatics, King’s College London<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;mso-fareast-language:EN-GB">https://nms.kcl.ac.uk/maribel.fernandez</span><span style="font-size:11.0pt"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>