The Ackermann Award 2016
Paper in proceedings, 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

Author

Thierry Coquand

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

Anuj Dawar

University of Cambridge

Leibniz International Proceedings in Informatics, LIPIcs

1868-8969 (ISSN)

Vol. 62

Subject Categories

Other Computer and Information Science

DOI

10.4230/LIPIcs.CSL.2016.1

ISBN

978-395977022-4

More information

Latest update

5/2/2018 7