Edukad projektid

eesti keeles / in English

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