---------- Forwarded message ---------- ========================================================================
EACSL - The European Association of Computer Science Logic September, 2008 2008 Ackermann Award of the EACSL --------------------------------- EACSL Homepage: http://www.dimi.uniud.it/eacsl/ Ackermann Award Homepage: http://users.dimi.uniud.it/eacsl/award.html The Jury of the Ackermann Award has decided to give the 2008 Ackermann Awards to Krishnendu Chatterjee http://www.eecs.berkeley.edu/~c_krish/ for his thesis Stochastic omega-regular games I would like to congratulate the recipients and their supervisors for their excellent theses. Previous Ackermann Award recipients were: 2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind; 2006: Stefan Milius and Balder ten Cate; 2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang The Jury consisted of J. van Benthem, B. Courcelle, M. Grohe, M. Hyland, J. Makowsky, D. Niwinski, G. Plotkin, A. Razborov. The Award Ceremony took place during the CSL'08 Conference. http://csl2008.cs.unibo.it/ A detailed report is published in the CSL'08 Proceedings. I would like to thank all the Jury members for their work. J.A. Makowsky President of EACSL and chairman of the Jury http://www.cs.technion.ac.il/~janos EACSL WEB-pages: http://www.dimi.uniud.it/eacsl/ http://www.dimi.uniud.it/eacsl/award.html ================================================================ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
