Skip to main content

Highly Adaptable and Trustworthy Software using Formal Models

Project description

ICT forever yours

Field of science

  • /natural sciences/computer and information sciences/software/software development
  • /natural sciences/computer and information sciences/software/system software
  • /medical and health sciences/health sciences/health care services/ehealth
  • /social sciences/sociology/industrial relations/automation
  • /natural sciences/computer and information sciences/software

Call for proposal

FP7-ICT-2007-3
See other projects for this call

Funding Scheme

CP - Collaborative project (generic)

Coordinator

CHALMERS TEKNISKA HOEGSKOLA AB
Address
-
41296 Goeteborg
Sweden
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 741 895
Administrative Contact
Per Waborg (Mr.)

Participants (14)

KATHOLIEKE UNIVERSITEIT LEUVEN
Belgium
EU contribution
€ 367 480
Address
Oude Markt 13
3000 Leuven
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Maria Vereeken (Ms.)
TECHNISCHE UNIVERSITAT DARMSTADT
Germany
EU contribution
€ 81 600
Address
Karolinenplatz 5
64289 Darmstadt
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Reiner Hähnle (Dr.)
FRAUNHOFER GESELLSCHAFT ZUR FOERDERUNG DER ANGEWANDTEN FORSCHUNG E.V.
Germany
EU contribution
€ 367 430
Address
Hansastrasse 27C
80686 Munchen
Activity type
Research Organisations
Administrative Contact
Maximilian Steiert (Dr.)
TECHNISCHE UNIVERSITAT KAISERSLAUTERN
Germany
EU contribution
€ 447 420
Address
Gottlieb Daimler Strasse
67663 Kaiserslautern
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Berthold Klein (Mr.)
TALLINNA TEHNIKAUELIKOOLI KUEBERNEETIKA INSTITUUT
Estonia
EU contribution
€ 337 480
Address
Akadeemia Tee, 21
12618 Tallinn
Activity type
Research Organisations
Administrative Contact
Tarmo Uustalu (Dr.)
UNIVERSIDAD POLITECNICA DE MADRID
Spain
EU contribution
€ 478 347
Address
Calle Ramiro De Maeztu 7 Edificio Rectorado
28040 Madrid
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Gonzalo León (Mr.)
ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA
Italy
EU contribution
€ 482 538
Address
Via Zamboni 33
40126 Bologna
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Davide Sangiorgi (Prof.)
Fredhopper B.V.
Netherlands
EU contribution
€ 445 648
Address
Hoogoorddreef
1101 BE Amsterdam Zuidoost
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Barthold IJssel de Schepper (Dr.)
STICHTING CENTRUM VOOR WISKUNDE EN INFORMATICA
Netherlands
EU contribution
€ 456 887
Address
Science Park 123
1098XG Amsterdam
Activity type
Research Organisations
Administrative Contact
Margriet Brouwer (Ms.)
NORSK REGNESENTRAL
Norway
EU contribution
€ 450 249
Address
Gaustadalleen 23 A
0314 Oslo
Activity type
Research Organisations
Administrative Contact
Lise Lundberg (Ms.)
UNIVERSITETET I OSLO
Norway
EU contribution
€ 493 980
Address
Problemveien 5-7
0313 Oslo
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Morten Dæhlen (Prof.)
KUNGLIGA TEKNISKA HOEGSKOLAN
Sweden
EU contribution
€ 485 326
Address
Brinellvagen 8
100 44 Stockholm
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Christina Billing-Ericson (Ms.)
INSTITUTO MADRILENO DE ESTUDIOS AVANZADOS FUNDACION

Participation ended

Spain
EU contribution
€ 0
Address
Calle Isaac Newton 2
28760 Tres Cantos
Activity type
Research Organisations
FUNDACION IMDEA SOFTWARE
Spain
EU contribution
€ 0
Address
Campus De Montegancedo Sn
28223 Pozuelo De Alarcon
Activity type
Research Organisations
Administrative Contact
Marta Sedano (Ms.)