Esprit working group 21900 - TYPES

Types for Proofs and Programs

TYPES is a working group in the ESPRIT program of the European Union.

The subject of this working group is computer assisted development of proofs and programs, an area which can be expected to be of vital concern for industry in the future. During the Esprit BRA projects Logical Frameworks and Types for Proofs and Programs several systems were implemented which are now beginning to be used for applications in computer science, relevant to industry. These projects had eleven main sites in France, Germany, Great Britain, Italy, the Netherlands and Sweden and a unique competence in the area has been built up. There are two purposes of a working group on types. The first is to keep the community together and thereby ensure the continuation and development of our ideas; the second is that it will form a basis for specific Long Term Esprit projects in cooperation with industry.

This summary is taken from the Working Group Proposal

The People and teams in TYPES.
Workshops and conferences organised by TYPES.
Summer School organised by TYPES.
The home pages of the Systems developed in TYPES.
Progress reports for the Working Group.

The group is coordinated by Chalmers Univ. of Technology, contact person: Jan Smith

Last modified: Wed Feb 2 14:46:51 MET 2000