Inria / Raweb 2005
Project: LogiCal

Logic and Computation

• 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