Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Highlights of the Year

Highlights of the Year

Our effort to setup a consortium around the Coq system has made significant progress this year as illustrated by two noticeable events: the first engineer was hired by InriaSoft for this consortium (Maxime Dénès) and the first funding was collected from academic partners (the first is Princeton University).