Skip to main content

Formalisation of Mathematics

Project description

FET Open

Field of science

  • /natural sciences/mathematics/pure mathematics/topology/algebraic topology
  • /natural sciences/mathematics/pure mathematics/algebra/linear algebra
  • /natural sciences/mathematics/pure mathematics/mathematical analysis/differential equations

Call for proposal

FP7-ICT-2009-C
See other projects for this call

Funding Scheme

CP - Collaborative project (generic)

Coordinator

GOETEBORGS UNIVERSITET
Address
Vasaparken
405 30 Goeteborg
Sweden
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 433 924
Administrative Contact
Ludde Edgren (Dr.)

Participants (3)

UNIVERSIDAD DE LA RIOJA
Spain
EU contribution
€ 204 480
Address
Avenida De La Paz 93
26006 La Rioja
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Milagros Torrecilla Miguel (Ms.)
INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France
EU contribution
€ 680 487
Address
Domaine De Voluceau Rocquencourt
78153 Le Chesnay Cedex
Activity type
Research Organisations
Administrative Contact
Frédérique LAVIROTTE (Ms.)
STICHTING KATHOLIEKE UNIVERSITEIT
Netherlands
EU contribution
€ 492 535
Address
Geert Grooteplein Noord 9
6525 EZ Nijmegen
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Marieke Van Oostveen (Ms.)