Inria
/
Raweb 2008
Presentation of the Project Parsifal
Logo Inria
Parsifal
Preuves Automatiques et Raisonnement sur des SpécIFicAtions Logiques
2008 Research Team Activity Report
Saclay - Île-de-France
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
Formalizing operational semantic specifications in logic
New insights into -quantification
Foundational aspects of focusing proof systems
A neutral approach to proof and refutation in MALL
Meta-level focusing and object-level proof system
Proof complexity
Proof normalization in sequent calculus
Computation with meta-variables
A Stochastic Linear Logic for Biological Computation
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
