LIPIcs.CSL.2018.1.pdf
- Filesize: 260 kB
- 5 pages
Document
The Ackermann Award 2018
Authors
-
Part of:
Volume:
27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Computer Science Logic (CSL) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2018-08-29
Cite As Get BibTex
Dexter Kozen and Thomas Schwentick. The Ackermann Award 2018. In 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 119, pp. 1:1-1:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/LIPIcs.CSL.2018.1
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 2018 edition of the award.
Subject Classification
ACM Subject Classification
- Theory of computation
- Software and its engineering → Formal language definitions
- Software and its engineering → Formal software verification
Keywords
- Ackermann Award
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads