Advertisement

The Ackermann Award 2006

  • S. Abramsky
  • E. Grädel
  • J. Makowsky
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4207)

Abstract

The second Ackermann Award is presented at this CSL’06. Eligible for the 2006 Ackermann Award were PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1. 2004 and 31.12. 2005. The jury received 14 nominations for the Ackermann Award 2006. The candidates came from 10 different nationalities from Europe, the Middle East and India, and received their PhDs in 9 different countries in Europe, Israel and North America.

Keywords

Modal Logic Hybrid Logic Recursive Program Propositional Modal Logic Hybrid Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • S. Abramsky
    • 1
  • E. Grädel
    • 1
  • J. Makowsky
    • 1
  1. 1.Members of EACSL Jury for the Ackermann Award 

Personalised recommendations