Calculemus systems for integrated computation and deduction
FP5 — Improving Human Research Potential
- Duration
- 2000-09-01 → 2004-08-31
- EU contribution
- €1,478,997
- Participants
- 9
- Scheme
- NET
Lines connect the coordinator with its partners.
Participants
- SAARLAND UNIVERSITY · SAARBRUECKENCoordinatorGermany
- EINDHOVEN UNIVERSITY OF TECHNOLOGY · EINDHOVENNetherlands
- ISTITUTO TRENTINO DI CULTURA · BIENOItaly
- JOHANNES KEPLER UNIVERSITAET LINZ · LINZAustria
- UNIVERSITAET KARLSRUHE (TECHNISCHE HOCHSCHULE) · KARLSRUHEGermany
- UNIVERSITY OF BIALYSTOK · BIALYSTOKPoland
- UNIVERSITY OF BIRMINGHAM · BIRMINGHAMUnited Kingdom
- UNIVERSITY OF EDINBURGH · EDINBURGHUnited Kingdom
- UNIVERSITY OF GENOVA · GENOVAItaly
Links
Data: CORDIS, © European Union