The Ackermann Award 2006
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.
KeywordsModal Logic Hybrid Logic Recursive Program Propositional Modal Logic Hybrid Language
Unable to display preview. Download preview PDF.