The Ackermann Award 2010

  • Johann A. Makowsky
  • Damian Niwinski
Conference paper

DOI: 10.1007/978-3-642-15205-4_41

Volume 6247 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Makowsky J.A., Niwinski D. (2010) The Ackermann Award 2010. In: Dawar A., Veith H. (eds) Computer Science Logic. CSL 2010. Lecture Notes in Computer Science, vol 6247. Springer, Berlin, Heidelberg

Abstract

The sixth Ackermann Award was to be presented at this CSL’10, held in Brno, Czech Republic. This is the fourth year the EACSL Ackermann Award is generously sponsored. Our sponsor for the period of 2010-2012 is the Kurt Gödel Society (KGS). Besides its financial support of the Ackermann Award the KGS also commited itself to inviting the receiver of the Award for a special lecture to be given in Vienna.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Johann A. Makowsky
    • 1
  • Damian Niwinski
    • 1
  1. 1.Members of EACSL Jury for the Ackermann Award