Projects

• 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.
• Diamant 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 Jojgov).
• 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.