Logic List Mailing Archive

ten Cate and Milius win 2006 Ackermann Award

2006 ACKERMANN AWARD OF THE EACSL

The Jury of the Ackermann Award has decided to give the 2006 Ackermann
Awards to

   * Balder ten Cate
     Amsterdam University (Advisor: Johan van Benthem)
     http://staff.science.uva.nl/~bcate/
     Thesis: Model Theory for Extended Modal Languages

   * Stefan Milius
     TU Braunschweig (Advisor: Jiri Adamek)
     http://www.iti.cs.tu-bs.de/~milius/
     Thesis: Coalgebras, Monads and Semantics

The Jury consisted of S. Abramsky, B. Courcelle, E. Graedel, M. Hyland, J.
Makowsky, D. Niwinski, A. Razborov. The Award Ceremony will take place
during the CSL'06 Conference.