EACSL

European Association for Computer Science Logic

:: Home

:: What is EACSL

:: Organization

:: Membership

:: CSL Conferences

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

Recipient of the Ackermann Award 2011

The Ackermann Award 2011 has been granted to

Benjamin Rossman (currently Tokyo Institute of Technology)
Massachusetts Institute of Technology, Cambridge, Massachusetts, USA, September 2010 (supervisor: Prof. Madhu Sudan).
Thesis: Average Case Complexity of Detecting Cliques

The Jury consisted of A. Atserias, T. Coquand, A. Dawar, J.-P. Jouannaud, D. Niwinski, L. Ong, P.-L. Curien, W. Thomas, with J. Makowsky as secretary.

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

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

Information on how to submit can be found here .