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
University of Gothenburg
Anuj Dawar
University of Cambridge
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 62978-395977022-4 (ISBN)
Subject Categories
Other Computer and Information Science
DOI
10.4230/LIPIcs.CSL.2016.1