Inria
/
Raweb 2004
Project: LogiCal
Logo Inria
Logic and Calculus
LogiCal
2004 research project activity report
Futurs
Theme:
SYM
Presentation of the project
- Activity report in
PostScript
,
PDF
or
XML
format
Members
Overall Objectives
(Sans Titre)
Scientific Foundations
Proof assistants
Formalisation of mathematics
Application Domains
(Sans Titre)
Software
Coq
CiME
New Results
Development of theories and tactics
Development of systems
Studies of formalisms
Contracts and Grants with Industry
Mao
Averroes
Modulogic
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