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. 62

Ämneskategorier

Annan data- och informationsvetenskap

DOI

10.4230/LIPIcs.CSL.2016.1

ISBN

978-395977022-4