Inria
/
Raweb 2005
Presentation of the Team Parsifal
Logo Inria
Parsifal
Preuves Automatiques et Raisonnement sur des SpécIFicAtions Logiques
2005 Research Team Activity Report
Theme :
SYM
Presentation of the Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Proof search
Reasoning about logic specifications
A type theory for proof search
Application Domains
Model checking operational semantics
Mechanized metatheory
Software
Level 0/1
New Results
The LINC meta-logic
Format rules for mobility
A game semantics for proof search
Specifications for sequent calculus
Processes-as-formulas
Other Grants and Activities
Actions nationales
Actions internationales
Dissemination
Services to the Scientific Community
Teaching
Internship supervision
Bibliography
Major publications
Publications of the year
References in notes
