TYPES - Types for Proofs and Programs / Edukad projektid

instrument [ CA ] partner-riik [ EE ] otsingusõna [ TALLINNA TEHNIKAÜLIKOOL ]

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