Inria
/
Raweb 2009
Presentation of the Project TypiCal
Logo Inria
TypiCal
Types, Logic, and Computation
2009 Research Team Activity Report
Saclay - Île-de-France
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
Presentation
Highlights of the year
Scientific Foundations
Proof assistants
Formalization of mathematics
Application Domains
Software
Coq
Dedukti
New Results
Development of theories and tactics
Developments of systems
Study of Formalisms
Contracts and Grants with Industry
INRIA Microsoft Research Joint Centre
ADT Coq
Digitéo PASO
ANR Decert
ANR PSI
ARC Corias
European action: FORMATH
Dissemination
Animation of the scientific community
Teaching
Bibliography
Publications of the year