Inria
/
Raweb 2006
Presentation of the Project LogiCal
Logo Inria
LogiCal
Logic and Computation
2006 Research Team Activity Report
Theme :
SYM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Proof assistants
Formalization of mathematics
Application Domains
Software
Coq
New Results
Development of theories and tactics
Development of systems
Studies of formalisms
New Computation Paradigms
Contracts and Grants with Industry
Mao
France Telecom
EADS
Other Grants and Activities
Collaboration with other teams
European actions
Dissemination
Animation of the scientific community
Teaching
Bibliography
Publications of the year