Nominations are  invited for the 2023 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 2022 and 31 December 2022 are eligible for nomination for the award.

The 2023 Ackermann Award will be presented to the recipient(s) at CSL2024, the annual conference of the EACSL.

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, an invitation to the winner to publish the thesis in the FoLLI subseries of Springer LNCS, and financial support to attend the conference.

Submission Guidelines

Please submit a pdf file containing:

• 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 (please do not include the thesis itself); 
• a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); 
• 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; 
• a short CV of the candidate.

Ackermann Jury

• Christel Baier (TU Dresden)
• Maribel Fernandez (King's College London),  president of EACSL
• Jean Goubault-Larrecq (ENS Paris-Saclay)
• Joost-Pieter Katoen (RWTH Aachen University),  ACM SIGLOG representative 
• Delia Kesner (IRIF, Universite Paris Cite)
• Slawomir Lasota (University of Warsaw)
• Florin Manea (University of Goettingen), vice-president of EACSL 
• Prakash Panangaden (McGill  University)
• James Worrell (University of Oxford)

Contact

All questions about submissions should be emailed to Maribel.Fernandez@kcl.ac.uk