Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CSL.2016.1
URN: urn:nbn:de:0030-drops-65419
URL: https://drops.dagstuhl.de/opus/volltexte/2016/6541/
Coquand, Thierry ; Dawar, Anuj
The Ackermann Award 2016
| pdf-format: |
|
Abstract
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.
BibTeX - Entry
@InProceedings{coquand_et_al:LIPIcs:2016:6541,
author = {Thierry Coquand and Anuj Dawar},
title = {{The Ackermann Award 2016}},
booktitle = {25th EACSL Annual Conference on Computer Science Logic (CSL 2016)},
pages = {1:1--1:4},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-022-4},
ISSN = {1868-8969},
year = {2016},
volume = {62},
editor = {Jean-Marc Talbot and Laurent Regnier},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6541},
URN = {urn:nbn:de:0030-drops-65419},
doi = {10.4230/LIPIcs.CSL.2016.1},
annote = {Keywords: Ackermann Award, Computer Science, Logic}
}
| Keywords: | Ackermann Award, Computer Science, Logic | |
| Seminar: | 25th EACSL Annual Conference on Computer Science Logic (CSL 2016) | |
| Issue date: | 2016 | |
| Date of publication: | 29.08.2016 |
