Skip to main content

Formalisation of Mathematics

Project description


FET Open

Call for proposal

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

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 EN INFORMATIQUE 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 RADBOUD UNIVERSITEIT
Netherlands
EU contribution
€ 492 535
Address
Houtlaan 4
6525 XZ Nijmegen
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Marieke Van Oostveen (Ms.)