Submissions for the Ackermann Award 2025
Details on the submission procedure will be published here soon.
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.