Section: Contracts and Grants with Industry

European action: FORMATH

The FET-Open European project FORMATH about formalizing mathematics lead by Thierry Coquand in Göteborg is to start in 2010. It comprises researchers of INRIA, KUN Nijmegen, La Rioja, and Microsoft Research. Assia Mahboubi and Benjamin Werner are participating for TypiCal.