Types for Proofs and Programs

akronüüm: TYPES
algus: 2004-09-01
lõpp: 2008-04-30
 
programm: FP6 - Euroopa Liidu 6. raamprogramm
alaprogramm: IST - Infoühiskonna tehnoloogiad
instrument: CA - Koordineerivad tegevused
projektikonkurss: FP6-2002-IST-C
projekti number: 510996
kestus kuudes: 44
partnerite arv: 16
partneri jrk nr ja roll partneri nimi riik kontaktisik koduleht
1 koordinaator 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