TYPES - Types for Proofs and Programs / Edukad projektid

instrument [ CA ] search term [ Tallinna Tehnikaülikooli Küberneetika Instituut ]

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