Team Parsifal

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: Dissemination

Services to the Scientific Community

Prices and distinctions

Alexis Saurin's PhD dissertation titled “Une étude logique du contrôle” won the “Prix de thèse ASTI 2009” as well as the “Prix de thèse de l'Ecole Polytechnique”.

Organization of Conferences and Workshops

Lutz Straßburger organized the first meeting of the REDO project in Palaiseau at LIX, May 26-29, 2009.

Lutz Straßburger co-organized (with Michel Parigot, PPS) the workshop "Structures and Deduction 2009" in Bordeaux, July 20–24, 2009. The workshop was part of the ESSLLI'09 summer school.

Lutz Straßburger co-organized (with Paola Bruscoli and Alessio Guglielmi, Bath and Nancy) the second meeting of the REDO project in Nancy at the Loria, November 16-18, 2009.

Stéphane Lengrand and Dale Miller organized the 2009 International Workshop on “Proof Search in Type Theories”, affiliated to the CADE international conference which took place in Montréal, Canada, in August 2009.

Editorial activity

Dale Miller has the following editorial duties.

Participation in program committees

Dale Miller was a program committee member for the following conferences.

Invited talks at Conferences or Workshops

Dale Miller has been invited to speak at the following meetings.


Logo Inria