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.2015.xv
URN: urn:nbn:de:0030-drops-54470
URL: https://drops.dagstuhl.de/opus/volltexte/2015/5447/
Dawar, Anuj ; Kozen, Dexter ; Ronchi Della Rocca, Simona
The Ackermann Award 2015
| pdf-format: |
|
Abstract
The eleventh Ackermann Award is presented at CSL'15 in Berlin, Germany. This year, again, the EACSL Ackermann Award is generously sponsored by the Kurt Gödel Society. Besides providing financial support for the Ackermann Award, the Kurt Gödel Society has also committed to inviting the recipients of the Award for a special lecture to be given to the Society in Vienna.
BibTeX - Entry
@InProceedings{dawar_et_al:LIPIcs:2015:5447,
author = {Anuj Dawar and Dexter Kozen and Simona Ronchi Della Rocca},
title = {{The Ackermann Award 2015}},
booktitle = {24th EACSL Annual Conference on Computer Science Logic (CSL 2015)},
pages = {xv--xviii},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-90-3},
ISSN = {1868-8969},
year = {2015},
volume = {41},
editor = {Stephan Kreutzer},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5447},
URN = {urn:nbn:de:0030-drops-54470},
doi = {10.4230/LIPIcs.CSL.2015.xv},
annote = {Keywords: Ackermann Award}
}
| Keywords: | Ackermann Award | |
| Seminar: | 24th EACSL Annual Conference on Computer Science Logic (CSL 2015) | |
| Issue date: | 2015 | |
| Date of publication: | 07.09.2015 |
