Inria
/
Raweb 2005
Project: LogiCal
Logo Inria
Logic and Computation
LogiCal
2005 research project activity report
Futurs
Theme:
SYM
Presentation of the project
- Activity report in
PostScript
,
PDF
or
XML
format
Members
Overall Objectives
Scientific Foundations
Proof assistants
Formalization of mathematics
Application Domains
Software
Coq
CiME
New Results
Development of theories and tactics
Development of systems
Studies of formalisms
Contracts and Grants with Industry
Mao
Averroes
Modulogic
France Telecom
EADS
Other Grants and Activities
Collaboration with other teams
European actions
Other cooperations
Dissemination
Animation of the scientific community
Teaching
Bibliography
Major publications
Publications of the year