A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
The Ackermann Award 2017
2017
Annual Conference for Computer Science Logic
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.
doi:10.4230/lipics.csl.2017.1
dblp:conf/csl/DawarL17
fatcat:dexzvosz6jhxnjnfzex4sobyzq