2026-08-10T11:21:36Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6541 2024-03-06T10:38:40Z ddc:004 open_access

The Ackermann Award 2016 Coquand, Thierry Dawar, Anuj Ackermann Award Computer Science Logic 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Thierry Coquand and Anuj Dawar 2016 Is Part Of LIPIcs, Volume 62, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2016.1 urn:nbn:de:0030-drops-65419 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2016.1 eng https://creativecommons.org/licenses/by/3.0/legalcode