EACSL

European Association for Computer Science Logic

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

The Ackermann Award - Sponsored by Logitech Logitech's logo

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 three years 2007-2009, the Award is sponsored by Logitech, S.A., Romanel, Switzerland, the world's leading provider of personal peripherals.

Recipient of the Ackermann Award 2008

The Ackermann Award 2008 has been granted to
  • Krishnendu Chatterjee
    University of California at Berkeley (Advisor: Thomas A. Henzinger)
    Thesis: Stochastic ω-Regular Games

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

The Award Ceremony took place during the CSL'08 Conference.

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