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

Göteborgs universitet

Anuj Dawar

University of Cambridge

Leibniz International Proceedings in Informatics, LIPIcs

18688969 (ISSN)

Vol. 62
978-395977022-4 (ISBN)

Ämneskategorier

Annan data- och informationsvetenskap

DOI

10.4230/LIPIcs.CSL.2016.1

Mer information

Senast uppdaterat

2023-08-08