Ackermann Award

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).

Since 2017, the Award is 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.


Ackermann Award 2017

  • Amaury Pouly
    École Polytechnique (France) and the Universidade do Algarve (Portugal), in 2015, supervisors: Olivier Bournez and Daniel Graça.

    Continuous Models of Computation: From Computability to Complexity

The Jury consisted of Anuj Dawar (University of Cambridge), the president of EACSL, Orna Kupferman (Hebrew University of Jerusalem), Daniel Leivant (Indiana University, Bloomington), Dale Miller (INRIA Saclay), SigLog representative, Luke Ong (University of Oxford), Jean-Éric Pin (CNRS and Université Paris 7), Simona Ronchi della Rocca (University of Torino), the vice-president of EACSL,
Thomas Schwentick (TU Dortmund).

A detailed report is published in the CSL 2017 Proceedings.

The Award is sponsored by the association Alumni der Informatik Dortmund e.V.