The Ackermann Award 2017
نویسندگان
چکیده
The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL’xx). This contribution reports on the 2017 edition of the award. 1998 ACM Subject Classification F.3 Logics and Meanings of Programs, F.4 Mathematical Logic and Formal Languages
منابع مشابه
The Ackermann Award 2013
The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the previous three years, 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 recipient of the Award for a special lecture to be given to the Society in Vienna. The...
متن کاملThe Ackermann Award 2009
The fifth Ackermann Award is presented at this CSL’09, held in Coimbra, Portugal. This is the third year in which the EACSL Ackermann Award is generously sponsored. Our sponsor is the world’s leading provider of personal peripherals, Logitech S.A., situated in Romanel, Switzerland. Eligible for the 2009 Ackermann Award were PhD dissertations in topics specified by the EACSL and LICS conferences...
متن کاملThe Ackermann Award 2016
The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL’xx). This contribution reports on the 2016 edition of the award. 1998 ACM Subject Classification F.3 Logics and Meanings of Programs, F.4 Mathematical Logic and Formal Languages
متن کاملThe Ackermann Award 2007
The third Ackermann Award is presented at this CSL’07. This is the first year in which the EACSL Ackermann Award is generously sponsored. Our sponsor for the next three years is the worlds leading provider of personal peripherals, Logitech S.A., situated in Romanel, Switzerland. Eligible for the 2007 Ackermann Award were PhD dissertations in topics specified by the EACSL and LICS conferences, w...
متن کاملThe Ackermann Award 2010
The eighth Ackermann Award is presented at this CSL’12, held in Fontainebleau, France. This is the sixth year in which the EACSL Ackermann Award is generously sponsored. Our sponsor for the period 2011–2013 is the Kurt Gödel Society. Besides providing financial support for the Ackermann Award, the KGS also committed itself to inviting recipients of the Award for a special lecture to be given in...
متن کامل