[FOM] Announcement: Ackermann Award 2007

[Arnold Beckmann]

[Apologies for multiple copies]

========================================================================

EACSL - The European Association of Computer Science Logic
September, 2007

2007 Ackermann Award of the EACSL
---------------------------------
EACSL Homepage:
http://www.dimi.uniud.it/~eacsl/
Ackermann Award Homepage:
http://www.cs.technion.ac.il/eacsl/ackermann/

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

EACSL WEB-pages:
http://www.dimi.uniud.it/~eacsl/
http://www.cs.technion.ac.il/eacsl/
http://www.cs.technion.ac.il/eacsl/ackermann/
================================================================