Team Parsifal

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Other Grants and Activities
Dissemination
Bibliography

Section: Other Grants and Activities

Actions nationales

INFER: ANR on the Theory and Application of Deep Inference

Participants : Dale Miller, Lutz Straßburger.

The ANR-project blanc titled “INFER: Theory and Application of Deep Inference” that is coordinated by Lutz Straßburger has been accepted in September 2006. Besides Parsifal, the teams associated with this effort are represented by François Lamarche (INRIA-Loria) and Michel Parigot (CNRS-PPS).


previous
next

Logo Inria