[FOM] Announcement: Ackermann Award 2007
A.Beckmann at swansea.ac.uk
Fri Oct 5 18:30:33 EDT 2007
[Apologies for multiple copies]
EACSL - The European Association of Computer Science Logic
2007 Ackermann Award of the EACSL
Ackermann Award Homepage:
The Jury of the Ackermann Award has
decided to give the 2007 Ackermann Awards to
RWTH Aachen (Advisor: Erich Graedel)
Thesis: Games and Logical Expressiveness
Universite de Paris VII and University of St. Andrews
(Advisors: Delia Kesner and Roy Dyckhoff)
Thesis: Normalization and Equivalence in
Proof Theory and Type Theory
Stanford University (Advisor: Zohar Manna)
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.
A detailed report is published in the CSL'07 Proceedings.
I would like to thank all the Jury members for their work.
President of EACSL
and chairman of the Jury
More information about the FOM