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 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: 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'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 .