Inria
/
Raweb 2007
Presentation of the Project Parsifal
Logo Inria
Parsifal
Preuves Automatiques et Raisonnement sur des SpécIFicAtions Logiques
2007 Research Team Activity Report
Theme :
SYM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Main Themes
Highlights of the year
Scientific Foundations
General Overview
Reasoning about logic specifications
Focused proof systems
Proof structure and proof certificates
Deep Inference and Categorical Axiomatizations
Proof Nets and Combinatorial Characterization of Proofs
A logic for systems biology
Application Domains
Model checking operational semantics
Mechanized metatheory
Biological systems
Software
Bedwyr
Taci
New Results
Reasoning about operational semantics
Effective implementation of model checking with linguistic expressions
Focusing proof systems for linear, intuitionistic, and classical logics
Tables, lemmas, and focused proofs
Game semantics for proof search with multiplicative connectives
A Proof theory of induction and co-induction
Proof nets for second order multiplicative linear logic
Combinatorial characterization of the medial rule
Deep inference for hybrid logics
A logic for systems biology
Separation in the -calculus
Static analysis via proof theory
Other Grants and Activities
Actions nationales
Actions internationales
Dissemination
Services to the Scientific Community
Teaching
Evaluation
Internship supervision
Bibliography
Major publications
Publications of the year
References in notes
