Submissions

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL’xx). From 2017 to 2022, the Award has been sponsored by the association Alumni der Informatik Dortmund e.V. From 2010 to 2016, the Award has been sponsored by the Kurt Gödel Society. For the three years 2007-2009, the Award was sponsored by Logitech, S.A., Romanel, Switzerland, the world’s leading provider of personal peripherals.

Submissions for the Ackermann Award 2024

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

The deadline for submission is 1 July 2024.

Nominations should be submitted by the candidate or the supervisor via Easychair: https://easychair.org/conferences/?conf=ackermann2024

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 (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 2024 Ackermann award will be presented to the recipient(s) at CSL 2025, 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.

Jury

To be announced.

For more information please contact Maribel Fernandez: Maribel.Fernandez@kcl.ac.uk