Logic List Mailing Archive

Announcement of the 2007 Ackermann Award

2007 Ackermann Award of the EACSL

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

 	Dietmar Berwanger
 	RWTH Aachen (Advisor: Erich Graedel)
	http://mtc.epfl.ch/~dwb/
 	Thesis: Games and Logical Expressiveness

 	Stephane Lengrand
 	Universite de Paris VII and University of St. Andrews
	(Advisors: Delia Kesner and Roy Dyckhoff)
	http://www.pps.jussieu.fr/~lengrand/
 	Thesis: Normalization and Equivalence in
	Proof Theory and Type Theory

 	Ting Zhang
 	Stanford University (Advisor: Zohar Manna)
	http://theory.stanford.edu/~tingz/
 	Thesis: Arithmetic Integration of Decision Procedures

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;

The Jury consisted of S. Abramsky, J. van Benthem, B. Courcelle, M. Grohe,
M. Hyland, J. Makowsky, D. Niwinski, A. Razborov.

The Award Ceremony took place during the CSL'07 Conference.
http://www.inf.u-szeged.hu/~csl06/

A detailed report is published in the CSL'07 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