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

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.

Ackermann Award 2023

The Ackermann Award 2023 is bestowed on

Gabriele Vanoni

for his thesis

On Reasonable Space and Time Cost Models for the λ-Calculus

defended at Università di Bologna, (Italy) in 2022.
Supervisor: Ugo Dal Lago

A detailed report is published in the CSL 2024 proceedings.

The 2023 Ackermann award was presented to the recipients at the annual conference of the EACSL,  CSL 2024, in Naples.

The Jury consisted of

  • 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, U Paris Cite),
  • Slawomir Lasota (U Warsaw),
  • Florin Manea (U Göttingen), vice-president of EACSL,
  • Prakash Panangaden (McGill University),
  • James Worrell (U Oxford)