Inria
/
Raweb 2010
Presentation of the Project marelle
Logo Inria
marelle
Mathematical, Reasoning and Software
2010 Research Team Activity Report
Sophia Antipolis - Méditerranée
Field :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Introduction
Highlights
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
Proving tools
Formal study of cryptography
Verification of Programming tools
Contracts and Grants with Industry
Contracts with Industry
Other Grants and Activities
National initiatives
European initiatives
International Initiatives
Dissemination
Animation of the scientific community
Conference and workshop attendance, travel
Teaching
Bibliography
Major publications
Publications of the year
