Inria / Raweb 2004
Project: LogiCal

Logic and Calculus

• 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