Calculemus systems for integrated computation and deduction

Project Information

Grant agreement ID: HPRN-CT-2000-00102

Project closed

Start date 1 September 2000

End date 31 August 2004

Funded under

• Programme for research, technological development and demonstration on "Improving the human research potential and the socio-economic knowledge base" (1998-2002)

Total cost € 1 478 997,00

EU contribution € 1 478 997,00

Coordinated by

SAARLAND UNIVERSITY
Germany

Programme(s)

• FP5-HUMAN POTENTIAL - Programme for research, technological development and demonstration on "Improving the human research potential and the socio-economic knowledge base" (1998-2002)

Topic(s)

Data not available

Call for proposal

Data not available

Funding Scheme

NET - Research network contracts

Coordinator

SAARLAND UNIVERSITY

• EU contribution: No data
• Address: Im Stadtwald ; 66111 SAARBRUECKEN ; Germany
• Total cost: No data

Participants (8)

EINDHOVEN UNIVERSITY OF TECHNOLOGY

Netherlands

• EU contribution: No data
• Address: 2,Den Dolech 2 ; 5600 MB EINDHOVEN
• Total cost: No data

ISTITUTO TRENTINO DI CULTURA

Italy

• EU contribution: No data
• Address: Via Sommarive 18 ; 38050 POVO
• Total cost: No data

JOHANNES KEPLER UNIVERSITAET LINZ

Austria

• EU contribution: No data
• Address: 69,Schloss Hagenberg ; 4232 HAGENBERG
• Total cost: No data

UNIVERSITAET KARLSRUHE (TECHNISCHE HOCHSCHULE)

Germany

• EU contribution: No data
• Address: Am Fasanengarten, 5 ; 76128 KARLSRUHE
• Total cost: No data

UNIVERSITY OF BIALYSTOK

Poland

• EU contribution: No data
• Address: ul. Akademicka, 2 ; 15 267 BIALYSTOK
• Total cost: No data

UNIVERSITY OF BIRMINGHAM

United Kingdom

• EU contribution: No data
• Address: Edgbaston ; B15 2TT BIRMINGHAM
• Total cost: No data

UNIVERSITY OF EDINBURGH

United Kingdom

• EU contribution: No data
• Address: James Clerk Maxwell Buildings, Kings Building's ; EH9 3JZ EDINBURGH
• Total cost: No data

UNIVERSITY OF GENOVA

Italy

• EU contribution: No data
• Address: 13,Via all'Opera Pia 13 ; 16145 GENOVA
• Total cost: No data