TYPES 2007
Conference of the Types Project

2-5 May 2007
Cividale del Friuli (Udine), Italy
Scope Programme Location and Travel Info Registration Accommodation Participants

The conference

NEWS: The call for papers for the TYPES 2007 post-conference proceedings is out!

Types 2007 is the latest and concluding conference of the Types project. The current financial support for this project is the Coordination Action "Types" in the IST program of the European Union which started 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 aim of this research activities is to develop the technology of formal reasoning based on Type Theory by improving the languages and tools of reasoning and by applying the technology in several domains such as programming languages, certified software, and formalisation of mathematics.

TYPES conferences have occurred regularly since 1992. In 2006, it was located in Nottingham. The conference is not restricted to members of the EU action.

Topics and scope

Topics developed by the TYPES working group include, but are not limited to:

  • foundations of type theory and constructive mathematics
  • applications of type theory
  • dependently typed programming
  • industrial uses of type theory technology
  • meta-theoretic studies of type systems
  • implementation of proof-assistants
  • automation in computer-assisted reasoning
  • links between type theory and functional programming
  • formalizing mathematics using type theory
At registration, participants will have the possibility to propose a talk on the subject of the Types Working Group.

Talks will not be published as such, but we encourage people who gave a talk to submit their papers for the post-conference proceedings after the conference. As in the past, we hope to be able to publish Post-Conference Proceedings for TYPES 2007 after a formal referee process, as a volume of the Lecture Notes in Computer Science (LNCS) series.

Organization

The meeting is organized by Marino Miculan, Ivan Scagnetto, Furio Honsell, Department of Mathematics and Computer Science, and sponsored by the University of Udine, with the participation of the City Council of Cividale.

The TYPES 2007 organizing committee