Inria
/
Raweb 2006
Presentation of the Project PROTHEO
Logo Inria
PROTHEO
Constraints, Mechanized Deduction and Proofs of Software Properties
2006 Research Team Activity Report
Theme :
SYM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Rewriting and strategies
Constraints
Mechanized deduction
Application Domains
Software
Introduction
Tom
CARIBOO
CoLoR
Rainbow
ELAN
New Results
Rewriting
Rule based programming
Mechanized deduction
Computability and complexity
Contracts and Grants with Industry
Averroes
Manifico
Other Grants and Activities
Glossary
Regional initiatives
National initiatives
International networks and working groups
International bilateral initiatives
Invited lecturers
Dissemination
Leadership within scientific community
Teaching
Invited talks
Visits
Thesis and admission committees
Bibliography
Major publications
Publications of the year
References in notes
