Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

FP5

Calculemus systems for integrated computation and deduction

Project ID: HPRN-CT-2000-00102
Finanziato nell'ambito di

Calculemus systems for integrated computation and deduction

Dal 2000-09-01 al 2004-08-31

Dettagli del progetto

Costo totale:

EUR 1 478 997

Contributo UE:

EUR 1 478 997

Coordinato in:

Germany

Argomento (i):

Meccanismo di finanziamento:

NET - Research network contracts

Coordinatore

SAARLAND UNIVERSITY
Germany
Im Stadtwald
66111 SAARBRUECKEN
Germany
See on map
Contatto amministrativo: Gunther HONN

Partecipanti

EINDHOVEN UNIVERSITY OF TECHNOLOGY
Netherlands
2,Den Dolech 2
5600 MB EINDHOVEN
Netherlands
See on map
ISTITUTO TRENTINO DI CULTURA
Italy
Via Sommarive 18
38050 POVO
Italy
See on map
JOHANNES KEPLER UNIVERSITAET LINZ
Austria
69,Schloss Hagenberg
4232 HAGENBERG
Austria
See on map
UNIVERSITAET KARLSRUHE (TECHNISCHE HOCHSCHULE)
Germany
Am Fasanengarten, 5
76128 KARLSRUHE
Germany
See on map
UNIVERSITY OF BIALYSTOK
Poland
ul. Akademicka, 2
15 267 BIALYSTOK
Poland
See on map
UNIVERSITY OF BIRMINGHAM
United Kingdom
Edgbaston
B15 2TT BIRMINGHAM
United Kingdom
See on map
UNIVERSITY OF EDINBURGH
United Kingdom
James Clerk Maxwell Buildings, Kings Building's
EH9 3JZ EDINBURGH
United Kingdom
See on map
UNIVERSITY OF GENOVA
Italy
13,Via all'Opera Pia 13
16145 GENOVA
Italy
See on map