The Ackermann Award 2013

Anuj Dawar, Thomas A. Henzinger, Damian Niwiński, Marc Herbstritt
2013 Annual Conference for Computer Science Logic  
The ninth Ackermann Award is presented at CSL'13, held in Turin, Italy. This year, as in the previous three years, the EACSL Ackermann Award is generously sponsored by the Kurt Gödel Society. Besides providing financial support for the Ackermann Award, the Kurt Gödel Society has also committed to inviting the recipient of the Award for a special lecture to be given to the Society in Vienna. The 2013 Ackermann Award was open to PhD dissertations in topics specified by the CSL and LICS
more » ... , which were formally accepted as theses for the award of a PhD degree at a university or equivalent institution between 1 January 2011 and 31 December 2012. The Jury received fifteen nominations for the Ackermann Award 2013. The candidates came from a number of different countries across the world. The institutions at which the nominees obtained their doctorates represent nine countries in Europe, North America, and the Middle East. All submissions were of a very high standard and contained remarkable contributions to their particular fields. The Jury wishes to extend its congratulations to all nominated candidates for their outstanding work. The Jury encourages them to continue their scientific careers and hopes to see more of their work in the future. With such an outstanding field of nominees, the task of the jury was difficult. In the end, after much discussion, one thesis stood out.
doi:10.4230/lipics.csl.2013.1 dblp:conf/csl/DawarHN13 fatcat:7srrdd44gve7jhsrx5dzg5jcne