Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Computer Science Logic

CSL 2010: Computer Science Logic pp 544–546Cite as

The Ackermann Award 2010

  • Conference paper

  • 881 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6247))

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Author information

Authors and Affiliations

  1. Members of EACSL Jury for the Ackermann Award,  

    Johann A. Makowsky & Damian Niwinski

Authors
  1. Johann A. Makowsky
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Damian Niwinski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Laboratory, University of Cambridge, J.J. Thomson Avenue, CB3 0FD, Cambridge, UK

    Anuj Dawar

  2. Formal Methods in Systems Engineering, Vienna University of Technology, Favoritenstr. 9-11, 1040, Vienna, Austria

    Helmut Veith

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

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. https://doi.org/10.1007/978-3-642-15205-4_41

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15205-4_41

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15204-7

  • Online ISBN: 978-3-642-15205-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation