Team Parsifal

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

Section: Dissemination

Services to the Scientific Community

Organization of Conferences and Workshops

Lutz Straßburger co-organized (with Pascal Manoury, Michel Parigot, and Paul Roziere from PPS) a workshop on “Structural Proof Theory” from 19–21 November 2008 in Paris. The workshop was partially supported by the projects ANR INFER, PHC “Realm of Cut Elimination”, and PHC “Deep Inference and the Essence of Proofs”.

Stéphane Lengrand organized two workshops on “Proof Search in Type Theories” at the École Polytechnique on 10th April and 5th-6th June 2006.

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

Stéphane Lengrand has been invited to speak at the Workshop on Classical Logic and Computation 2008 (affiliated to IJCAR08), Reykjavik, 13 July 2008.

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


Logo Inria