Section: Overall Objectives
Highlights of the year
Alexis Saurin's PhD thesis has won the Prix de thèse de l'École Polytechnique and the Prix de thÃ¨se ASTI 2009 . His thesis, titled Une étude logique du contrôle (appliquée à la programmation fonctionnelle et logique) , was done within the Parsifal team and was advised by Miller.
Dale Miller has been named Editor-in-Chief of the ACM Transactions on Computational Logic.