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

Joëlle Despeyroux co-organized the ACM SIGPLAN-SIGACT international conference on Principles of Programming Languages (POPL), with Martin Hofmann (LMU university, Munich, Germany). The conference was held in Nice, from 14 to 20 January.

Lutz Straßburger organized a workshop on "The Realm of Cut Elimination" on May 14, 2007 at LIX. This workshop was part of the PAI Amadeus with TU Wien.

Lutz Straßburger organized a workshop on "Theory and Application of Deep Inference" on June 21, 2007 at LIX. This workshop is part of (and partially financed by) the ANR project INFER on "Theory and Application of Deep Inference", and the PAI Germaine De Stael project on "Deep Inference and the Essence of Proofs". It served as first meeting of the participants of these projects.

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

David Baelde and Dale Miller were invited speakers at the ICMS Workshop on Mathematical Theories of Abstraction, Substitution and Naming in Computer Science, Edinburgh, UK, 25-29 May 2007.

Dale Miller and Lutz Straßburger were invited participants to the meeting Collegium Logicum 2007: Proofs and Structures , 24-25 October 2007, Vienna, Austria.


Logo Inria