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. Since 2010, the Award is sponsored by the Kurt Gödel Society.

Ackermann award 2012

Recipients of the Ackermann Award 2012

The Ackermann Award 2012 has been granted to

Andrew Polonsky (currently Vrije Universiteit Amsterdam)
University of Bergen, Norway, 2011, supervisor: Marc Bezem,
Thesis: Proofs, Types and Lambda Calculus.
Szymon Torunczyk
University of Warsaw, Poland, 2011, supervisor: Mikolaj Bojanczyk,
Thesis: Languages of profinite words and the limitedness problem.

The Jury consisted of T. Coquand, A. Dawar, T.A. Henzinger, J.-P. Jouannaud, D. Leivant, D. Niwinski, L. Ong, W. Thomas.

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

A detailed report is published in the CSL'12 Proceedings. The call for nominations for the Ackermann Award 2013 can be found here.