> Details

Dawar, Anuj [Author]; Kozen, Dexter [Author]; Ronchi Della Rocca, Simona [Author] ; Anuj Dawar and Dexter Kozen and Simona Ronchi Della Rocca [Contributor]

The Ackermann Award 2015

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Electronic Conference Proceeding; E-Article; Text
  • Title: The Ackermann Award 2015
  • Contributor: Dawar, Anuj [Author]; Kozen, Dexter [Author]; Ronchi Della Rocca, Simona [Author]
  • imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
  • Language: English
  • DOI: https://doi.org/10.4230/LIPIcs.CSL.2015.xv
  • Keywords: Ackermann Award
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: 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.
  • Access State: Open Access