<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;}
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 2025</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 2025 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 2024</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">and 31 December 2024 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 2025.</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</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">supervisor via Easychair:</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">https://easychair.org/conferences?conf=ackermann2025</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 in the first page</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">(please do not include the 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 2025 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 2026.</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">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 and financial support to</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="s1">attend the conference. <o:p></o:p></span></p>
<p class="p1"><span class="s1">We are grateful to Amazon for sponsoring this award.
</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">* Albert Atserias (UPC Barcelona)</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">* Andrej Bauer (U Ljubljana)</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">* Javier Esparza (TU Munich)</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">* Maribel Fernandez (King’s College London), EACSL president</span><span class="apple-converted-space"> </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 U), 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), EACSL vice-president</span><span class="apple-converted-space"> </span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">* Prakash Panangaden (McGill U)</span><o:p></o:p></p>
<p class="p1"><span class="apple-converted-space"> </span><span class="s1">* James Worrell (U Oxford)</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">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">Maribel.Fernandez@kcl.ac.uk</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>
<div>
<p class="MsoNormal"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-GB">--<o:p></o:p></span></p>
<p class="MsoNormal"><i><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-GB">Professor Maribel Fernandez<o:p></o:p></span></i></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-GB">Vice Dean (People and Planning)
<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-GB">Faculty of Natural, Mathematical & Engineering Sciences<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-GB">Department of Informatics<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-GB">King’s College London<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;color:black;mso-fareast-language:EN-GB"><a href="https://urldefense.com/v3/__https://nms.kcl.ac.uk/maribel.fernandez__;!!IBzWLUs!UN1Kz3oPDFTR8NS2hh2ZttAL-onSu5KV7pPwGf8jhbql-HZTzmgwbsjeRuOTpdGsjttkQj2Ea-WSJ8dFJTFNNPoV2BUL_3rxJwVXkA8uDXru$"><span style="color:#0563C1">https://nms.kcl.ac.uk/maribel.fernandez</span></a><o:p></o:p></span></p>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>