Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Partnerships and Cooperations
Inria | Raweb 2013 | Exploratory Action
XML PDF e-pub
PDF e-Pub

Section: Overall Objectives

Highlights of the Year

The Version 2 of Dedukti has been released. Gilles Dowek has been invited speaker to CSR, Hapoc, and to the Colloquium of the University Pierre et Marie Curie. David Delahaye has been an invited speaker of PSATTT.