The Coq mailing list

[A.Beckmann AT swansea.ac.uk (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/
================================================================