2026-07-21T23:33:44Z https://drops.dagstuhl.de/oai

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

The Ackermann Award 2017 Dawar, Anuj Leivant, Daniel Ackermann Award jury report citation 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 2017 edition of the award. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Anuj Dawar and Daniel Leivant 2017 Is Part Of LIPIcs, Volume 82, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2017.1 urn:nbn:de:0030-drops-76938 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2017.1 eng https://creativecommons.org/licenses/by/3.0/legalcode