EACSL

European Association for Computer Science Logic

:: Home
:: What is EACSL
:: Organization
:: Membership
:: CSL Conferences
:: Ackermann Award
:: CSL Bibliography
:: Constitutions
:: Minutes
:: Contact
:: Ackermann Award
:: Submissions
:: Previous Awards
:: Wilhelm Ackermann

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

For the past three years 2007-2009, the Award is sponsored by Logitech, S.A., Romanel, Switzerland, the world's leading provider of personal peripherals. For the next three years 2010-2012, the Award is sponsored by the Kurt Gödel Society.

Ackermann Award 2010

In spite of the high quality of the nominated theses, the Jury finally, and almost unamimously, decided NOT to give an Ackermann Award in 2010. The Jury would like to emphasize that this decision does not imply that the nominations this year were weaker than in the past. Most of the nominations this year were at the same level as many of the shortlisted nominations in the previous years. Yet none of them had the additional extra quality required for the Ackermann Award.

The call for nominations for the Ackermann Award 2011 can be found here.

Jury: A. Atserias (Barcelona, Spain), R. Alur (Philadelphia, USA), J. van Benthem (Amsterdam, The Netherlands), T. Coquand (Gothenburg, Sweden), P.-L. Curien (Paris, France), A. Dawar (Cambridge, U.K., Vice-president of EACSL), A. Durand (Paris, France), J.A. Makowsky (Haifa, Israel, Chair of the Jury and Member of the EACSL Board), D. Niwinski (Warsaw, Poland, President of EACSL) and G. Plotkin (Edinburgh, U.K., LICS Organizing Committee).

The full text of the Jury's report may be found in the Proceedings of CSL'2010 (LNCS vol. 6247) .

Ackermann Award 2009

  • Jakob Nordström (currently MIT)
    Royal Institute of Technology, Stockholm, Sweden, May 2008, (supervisor: Prof. Johan Håstad),
    Thesis: Short Proofs May Be Spacious: Understanding Space in Resolution

Jury: R. Alur, J. van Benthem, P.-L. Curien, A. Dawar, A. Durand, M. Grohe, M. Hyland, J.A. Makowsky, G. Plotkin, A. Razborov.

A detailed report is published in the CSL'09 Proceedings. A copy can be retrieved here .

Ackermann Award 2008

Jury: J. van Benthem, B. Courcelle, M. Grohe, M. Hyland, J. Makowsky, D. Niwinski, G. Plotkin, A. Razborov.

A detailed report is published in the CSL'08 Proceedings. A copy can be retrieved here .

Ackermann Award 2007

  • Dietmar Berwanger
    RWTH Aachen (Advisor: Erich Graedel)
    Thesis: Games and Logical Expressiveness
  • Stéphane Lengrand
    Université de Paris VII and University of St. Andrews (Advisors: Delia Kesner and Roy Dyckhoff)
    Thesis: Normalization and Equivalence in Proof Theory and Type Theory
  • Ting Zhang
    Stanford University (Advisor: Zohar Manna)
    Thesis: Arithmetic Integration of Decision Procedures

Jury: S. Abramsky, J. van Benthem, B. Courcelle, M. Grohe, M. Hyland, J. Makowsky, D. Niwinski, A. Razborov.

A detailed report has been published in the CSL'07 Proceedings. A copy can be retrieved here .

Ackermann Award 2006

  • Balder ten Cate
    Amsterdam University (Advisor: Johan van Benthem)
    Thesis: Model Theory for Extended Modal Languages
  • Stefan Milius
    TU Braunschweig (Advisor: Jiri Adamek)
    Thesis: Coalgebras, Monads and Semantics

Jury: S. Abramsky, B. Courcelle, E. Grädel, M. Hyland, J. Makowsky, D. Niwinski, A. Razborov.

A detailed report has been published in the CSL'06 Proceedings. A copy can be retrieved here .

Ackermann Award 2005

  • Mikołaj Bojańczyk
    Warsaw University (Advisor: Igor Walukiewicz)
    Thesis: Decidable Properties of Tree Languages
    citation
  • Konstantin Korovin
    University of Manchester (Advisor: Andrei Voronkov)
    Thesis: Knuth-Bendix orders in automated deduction and term rewriting
    citation
  • Nathan Segerlind
    University of California at San Diego (Advisor: Samuel Buss and Russell Impagliazzo)
    Thesis: New Separations for Propositional Proof Systems
    citation

Jury: S. Abramsky, B. Courcelle, E. Grädel, M. Hyland, J. Makowsky, D. Niwinski, A. Razborov.

A detailed report has been published in the CSL'05 Proceedings. A copy can be retrieved here .