The Ackermann Award 2017

Anuj Dawar, Daniel Leivant, Marc Herbstritt
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