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.

Logic

Computer science

Ackermann award

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

Mer information

Senast uppdaterat

2018-05-02