The Ackermann Award 2017

Anuj Dawar; Daniel Leivant

Back to CSL

CSL 2017

The Ackermann Award 2017

Conference Paper Accepted Paper Logic in Computer Science · Theoretical Computer Science

Details

Abstract

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.

Authors

Keywords

Ackermann Award
jury report
citation

Context

Venue: Annual Conference on Computer Science Logic
Archive span: 1988-2026
Indexed papers: 1413
Paper id: 436230141486065191