2026-07-23T20:44:22Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9668 2024-03-06T10:44:47Z ddc:004 open_access

The Ackermann Award 2018 Kozen, Dexter Schwentick, Thomas Ackermann Award 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Dexter Kozen and Thomas Schwentick 2018 Is Part Of LIPIcs, Volume 119, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2018.1 urn:nbn:de:0030-drops-96686 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2018.1 eng https://creativecommons.org/licenses/by/3.0/legalcode