The Ackermann Award 2016
Paper in proceeding, 2016
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). This contribution reports on the 2016 edition of the award. © Thierry Coquand and Anuj Dawar; licensed under Creative Commons License CC-BY.
Ackermann award
Computer science
Logic
Author
Thierry Coquand
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Anuj Dawar
University of Cambridge
Leibniz International Proceedings in Informatics, LIPIcs
1868-8969 (ISSN)
Vol. 62978-395977022-4 (ISBN)
Subject Categories (SSIF 2011)
Other Computer and Information Science
DOI
10.4230/LIPIcs.CSL.2016.1
ISBN
978-395977022-4