A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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 LICSdoi:10.4230/lipics.csl.2013.1 dblp:conf/csl/DawarHN13 fatcat:7srrdd44gve7jhsrx5dzg5jcne