Inria
/
Raweb 2009
Presentation of the Project MARELLE
Logo Inria
MARELLE
Mathematics, Reasoning, and Software
2009 Research Team Activity Report
Sophia Antipolis - Méditerranée
Area :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Type theory and formalization of mathematics
Verification of scientific algorithms
Programming language semantics
Proof environments
Application Domains
Certified scientific algorithms
New Results
Type theory and formalization of mathematics
Verification of scientific algorithms
Tools for proof environments
Other Grants and Activities
National initiatives
European initiatives
Dissemination
Conference and workshop attendance, travel
Leadership within scientific community
Miscellaneous
Supervision of Ph.D. projects
Teaching
Bibliography
Major publications
Publications of the year