Arrow Research search
Back to CSL

CSL 2015

The Ackermann Award 2015

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

Abstract

The eleventh Ackermann Award is presented at CSL'15 in Berlin, Germany. This year, again, the EACSL Ackermann Award is generously sponsored by the Kurt Gödel Society. Besides providing financial support for the Ackermann Award, the Kurt Gödel Society has also committed to inviting the recipients of the Award for a special lecture to be given to the Society in Vienna.

Authors

Keywords

  • Ackermann Award

Context

Venue
Annual Conference on Computer Science Logic
Archive span
1988-2026
Indexed papers
1413
Paper id
48049189505511906
v2026.09.13