CALCULEMUS Birmingham

System for Integrated Computation and Deduction
funded under the 5th Framework Programme of the European Commission Contract Reference HPRN-CT-2000-00102
University logo

Contents

Project Coordinates

Start Date:1 September 2000
End Date:31 August 2004
Total Grant Value:Euro 80,063
Funding Agency:European Commission
Grant:HPRN-CT-2000-00102
Project Central Web Page: http://www.eurice.de/calculemus/
Calculemus Interest Group: www.calculemus.net

People

Research Activities

The research group at the University of Birmingham is involved in the following tasks of the Calculemus project: Current research relevant to the tasks:

Publications

Talks

Collaborators and Other Related Research Groups

Collaborators

Research Groups and Projects



The URL of this page is: http://www.cs.bham.ac.uk/~mmk/projects/CALCULEMUS/index.html
Maintained by Manfred Kerber, e-mail: M.Kerber@cs.bham.ac.uk
Last update: 15 Oct 2002
School of Computer Science, The University of Birmingham