ForMath is a IST-FET-STREP project that has been granted by the EU and will start March 1 2010. In Nijmegen a PhD student and a postdoc Bas Spitters will beworking on it. The project is coordinated by Thierry Coquand from Chalmers, Gothenburg Sweden.
MathWiki is a project funded from NWO, with a postdoc Josef Urban and a PhD student Carst Tankink working on it.
cluster for mathematics, sponsored by NWO. We are part of this cluster
and James McKinna is
(partially) funded from it.
ARPA: Advancing the Real use of Proof Assistants. NWO-BRICKS funded Focus project. 1/9/2005 -- 1/9/2009 (Pierre Corbineau, Herman Geuvers, Dan Synek, Eelis van der Weegen, James McKinna)
- CoFDERA: Coalgebraic Formal DEvelopment of Real Arithmetic. NWO post-doc project, 1/1/2005 -- 1/1/2008 (Milad Niqui)
IMDoc: Interactive Mathematical Documents:
creation and presentation. NWO PhD project, 1/5/2004 -- 1/5/2008, (Lionel Mamane).
EU-IST Coordination Action Types, with several other partners, member of the steering group, 1/9/2004 -- 1/9/2007, IST-510996.
OpenTerms: Use and Meaning of Open Terms in Interactive Formal
Problem Solving, NWO PhD project, together with Dr. R.P. Nederpelt (Georgi
EU-IST-TMR project Calculemus:Systems for Integrated Computation and
Deduction, 01/09/2000 -- 31/08/2004, HPRN-CT-2000-00102, subsite of
TU Eindhoven (employed: Mariusz Giero).
EU-IST-FET project Mowgli: Mathematics On the Web, Get it by Logic
and Interfaces, together with Bologna (coordinator), Saarbrücken,
INRIA, Trusted Logic, Max Planck gesellschaft, (1/3/2002 -- 1/9/2004,
extended to 1/3/2005, IST-2001-33562) (employed: Iris Loeb, Lionel Mamane. Luis
Cruz-Filipe, Milad Niqui).
TYPES: Computer-Assisted Reasoning based on Type Theory,
EU-IST Working Group (project number 29001) 01/08/2000 -- 01/08/2003.
- Interactive books: presentations of formal proofs. IPA PhD project (01/97 -- 01/01 (Martijn Oostdijk).
MMM/WWW: Meaningful Mathematical Messages over the World Wide Web. NWO PhD project, 07/99 -- 07/03, together with Prof.dr. A.M. Cohen.
Last modified: Tue Mar 28 09:14:54 CEST 2006