Section: Partnerships and Cooperations

European Initiatives

FP7 Projects

• Formalisation of Mathematics (ForMath, EU FP7 STREP FET-open project).

  Partners: University of Gothenburg (Sweden); Radboud University Nijmegen (The Netherlands); Inria (France); Universidad de La Rioja (Spain).

  Goal: Investigate how recent advances in the methodology and design of computer-checked libraries of formalized mathematics apply to so-far-unexplored areas of mathematics, like real analysis or certified efficient computations.

  Leader: Th. Coquand (University of Gothenburg, Sweden). Participant: A. Mahboubi (work package leader for WP1).

  Website: http://wiki.portal.chalmers.se/cse/pmwiki.php/ForMath/ForMath .