文章基本信息

标题：The Ackermann Award 2017
本地全文：下载
作者：Anuj Dawar ; Daniel Leivant
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2017
卷号：82
页码：1:1-1:4
DOI：10.4230/LIPIcs.CSL.2017.1
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Ackermann Award; jury report; citation