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 2021

The Ackermann Award 2021 is given to two PhD theses (in alphabetic order):

Marie Fortin

for her thesis

Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata

defended at ENS Paris-Saclay, (France) in 2020.
Supervisors: Paul Gastin and Benedikt Bollig

AND

Sandra Kiefer

for her thesis

Power and Limits of the Weisfeiler-Leman Algorithm

defended at RWTH Aachen, (Germany) in 2020.
Examiners: Martin Grohe, Pascal Schweitzer, Neil Immerman

A detailed report will be published in the CSL 2022 proceedings.

The 2021 Ackermann award will be presented to the recipients at the annual conference of the EACSL, CSL 2022, in Göttingen/online.

The Jury consisted of

  • Christel Baier (TU Dresden);
  • Michael Benedikt (Oxford University);
  • Mikolaj Bojanczyk (University of Warsaw);
  • Jean Goubault-Larrecq (ENS Paris-Saclay);
  • Prakash Panangaden (McGill University);
  • Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL;
  • Thomas Schwentick (TU Dortmund), the president of EACSL;
  • Alexandra Silva, (University College London), ACM SigLog representative.

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