The Ackermann Award 2016
Paper i 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
Författare
Thierry Coquand
Chalmers, Data- och informationsteknik, Datavetenskap
Anuj Dawar
University of Cambridge
Leibniz International Proceedings in Informatics, LIPIcs
1868-8969 (ISSN)
Vol. 62978-395977022-4 (ISBN)
Ämneskategorier (SSIF 2011)
Annan data- och informationsvetenskap
DOI
10.4230/LIPIcs.CSL.2016.1
ISBN
978-395977022-4