December 15-18, 2004
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
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.