文章基本信息

标题：The Ackermann Award 2016
本地全文：下载
作者：Thierry Coquand ; Anuj Dawar
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2016
卷号：62
页码：1:1-1:4
DOI：10.4230/LIPIcs.CSL.2016.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 2016 edition of the award.
关键词：Ackermann Award; Computer Science; Logic