Team Parsifal

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

Section: Dissemination

Services to the Scientific Community

Organization of Workshops

Miller helped to organize WIPS 2005 (Workshop on Implementations of Proof Search) held at the University of Minnesota on 1 July 2005 and MoveLog 2005 (Workshop on Mobile Code Safety and Program Verification Using Computational Logic Tools) held at Barcelona, 5 October.

Editorial activity

Miller has the following editorial duties.

Participation in program committees

Despeyroux was a program committee member for Merlin 2005 (Workshop on MEchanized Reasoning about Languages with varIable biNding).

Miller was a program committee member for the following conferences.

Invited talks at Conferences or Workshops

Miller has been invited to speak at the following meetings.


Logo Inria