The Types Project
The Types project is a coordination action in EU′s 6:th framework programme. It started in September 2004 and is a continuation of a number of successful European projects (ESPRIT Action 3245, 1989 - 1992, ESPRIT BRA 6453, 1992 - 1995, ESPRIT working group 21900, 1997 - 1999 and IST working group 29001, 2000 - 2003).
The aim of the research is to develop the technology of formal reasoning and computer programming based on Type Theory. This is done by improving the languages and computerised tools for reasoning, and by applying the technology in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.
We get funding for three annual meetings to communicate recent work throughout the consortium, at least six smaller thematic workshops on designated research themes, two summer schools, short courses and short visits between sites.The funding of the project ended in April 2008.