TYPES 2004 conference
December 15-18, 2004

Campus Thalès
67, rue Charles de Gaulle - 78350 Jouy-en-Josas - FRANCE

Introduction
How to get to Campus Thalès
Social event
Invited speakers
Programme
List of participants
Call for papers
Proceedings
Organising committee
Related events
History
 Types 2004 is the 2004 Workshop of the Types project. The current financial support for this project is the Coordination Action "Types" in the IST program of the European Union starting in September 2004. This action is based on the strong collaboration and achievements in four successful European projects (ESPRIT BRA 6453, ESPRIT working group 21900 and IST working group 29001).

The topic of this workshop is formal reasoning and computer programming based on Type Theory : languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

TYPES workshops occur regularly since 1992. In 2003, it was located in Torino. The workshop is not restricted to members of the EU action.

Talks will not be published as such, but we encourage people who gave a talk to submit their papers after the conference. Post-Workshop Proceedings for TYPES 2004 will be published, after a formal referee process, as a volume of the Lecture Notes in Computer Science (LNCS) series.