Team Parsifal

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

Section: Other Grants and Activities

Actions internationales

Vallauris: Integrated Action within the EGIDE/PAI PICASSO program

Participants : David Baelde, Joëlle Despeyroux, Dale Miller, Alexis Saurin, Lutz Straßburger, Axelle Ziegler.

The EGIDE/PAI program PICASSO aims at promoting the scientific and technological exchanges between France and Spain. The equip Parsifal is participating, within this program, to a project whose participants are INRIA Futurs (responsables: D. Miller) and the Universidad Politécnica de Madrid (responsables: James Lipton and Manuel Hermenegildo).

The main aims of our project, which we call Vallauris, are the integration of the approaches developed by the INRIA and the UPM teams to the analysis and implementation of Higher-Order Languages (both sequential and concurrent), coinductive techniques (with special emphasis on lazy features), and in the areas of code validation, proof carrying code and security. This project started January 2005.

Slimmer: INRIA funded international team

Participants : David Baelde, Dale Miller, Axelle Ziegler.

Slimmer stands for Sophisticated logic implementations for modeling and mechanical reasoning is an ``Equipes Associées'' with seed money from INRIA. This project is initially designed to bring together the Parsifal personnel and Gopalan Nadathur's Teyjus team at the University of Minnesota. Separate NSF funding for this effort has also been awards to the University of Minnesota. We also hope to expand the scope of this project to include other French and non-French sites, in particular, Marino Miculan (University of Udine) and Brigitte Pientka (McGill University).

Mobius: an EU Integrated Project on Proof Carrying Code

Participants : David Baelde, Joëlle Despeyroux, Dale Miller.

Mobius stands for ``Mobility, Ubiquity and Security'' and is a Proposal for an Integrated Project in response to the call FP6-2004-IST-FETPI. This proposal involve numerous site in Europe and was awarded in September 2005. This large, European based project is coordinated out of INRIA-Sophia.

TYPES: coordinated action from IST

Participants : Dale Miller, Joelle Despeyroux.

TYPES is an European project (a coordination action from the IST program) aiming at developing the technology of formal reasoning based on type theory. The project brings together 36 universities and research centers from 8 European countries (France, Italy, Germany, Netherlands, United Kingdom, Sweden, Poland and Estonia). It is the continuation of a number of European projects since 1992. The funding from the present project enables the maintaining of collaboration within the community by supporting an annual workshop, a few smaller thematic workshops, one summer school, and visits of researchers to one another's labs.


Logo Inria