Edukad projektid
eesti keeles
/
in English
Keyword:
instrument [
CA
] search term [
Tallinna Tehnikaülikooli Küberneetika Instituut
]
«
back to search results page
Types for Proofs and Programs
acronym:
TYPES
start:
2004-09-01
end:
2008-04-30
programme:
FP6 - Euroopa Liidu 6. raamprogramm
sub-programme:
IST - Infoühiskonna tehnoloogiad
instrument:
CA - Koordineerivad tegevused
call identifier:
FP6-2002-IST-C
project number:
510996
duration in months:
44
partner count:
16
partner no and role
partner name
country
contact person
web page
1
coordinator
CHALMERS TEKNISKA HOEGSKOLA AKTIEBOLAG
SE
Bengt Nordström
http://www.chalmers.se
15
partner
Tallinna Tehnikaülikooli Küberneetika Instituut
EE
Tarmo Uustalu
http://www.ioc.ee