ACKERMANN AWARD 2025 EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Nominations are now invited for the 2025 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1 January 2024 and 31 December 2024 are eligible for nomination for the award. The deadline for submission is 1 July 2025. Nominations should be submitted by the candidate or the supervisor via Easychair: https://easychair.org/conferences?conf=ackermann2025 Please submit a pdf file containing: 1. a summary in English of the thesis (maximum 10 pages), providing a gentle introduction and overview of the thesis, highlighting the novel results and their impact and including a link to the thesis in the first page (please do not include the thesis itself); 2. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); 3. a copy of a document stating that the thesis was accepted as a PhD thesis at a recognised University (or equivalent institution) and that the candidate was awarded the PhD degree within the specified period; 4. a short CV of the candidate. *** The Award The 2025 Ackermann award will be presented to the recipient(s) at CSL 2026. The award consists of a certificate, an invitation to present the thesis at the CSL conference, the publication of the laudatio in the CSL proceedings and financial support to attend the conference. We are grateful to Amazon for sponsoring this award. *** Ackermann Jury The jury consists of: * Albert Atserias (UPC Barcelona) * Christel Baier (TU Dresden) * Andrej Bauer (U Ljubljana) * Javier Esparza (TU Munich) * Maribel Fernandez (King’s College London), EACSL president * Jean Goubault-Larrecq (ENS Paris-Saclay) * Joost-Pieter Katoen (RWTH Aachen U), ACM SigLog rep. * Delia Kesner (IRIF, U Paris Cite) * Slawomir Lasota (U Warsaw) * Florin Manea (U Goettingen), EACSL vice-president * Prakash Panangaden (McGill U) * James Worrell (U Oxford) For more information please contact Maribel Fernandez: Maribel.Fernandez@kcl.ac.uk -- Professor Maribel Fernandez Vice Dean (People and Planning) Faculty of Natural, Mathematical & Engineering Sciences Department of Informatics King’s College London https://nms.kcl.ac.uk/maribel.fernandez