Guest post by Anuj Dawar (President of the EACSL)

The Ackermann Award is given by the European Association for Computer Science Logic annually since 2005 to an outstanding doctoral dissertation in the area of Logic in Computer Science. The tenth Ackermann award will be presented on Friday, 18 July, at 17.00 in Hörsaal 1.

The winner of the 2014 Ackermann Award is Michael Elberfeld for his thesis “Space and Circuit Complexity of Monadic Second-Order Definable Problems on Tree-Decomposable Structures”. He will present a lecture on his thesis work at the ceremony.