- 1990 Types Meeting in Antibes.
- Proceedings of the First Workshop on Logical Frameworks
- 1991 Types Meeting in Edinburgh.
- Proceedings of the Second Workshop on Logical Frameworks
- 1992 Types Meeting in Båstad.
- Proceedings of the 1992 Workshop on Types for Proofs and Programs
- 1993 Types Meeting in Nijmegen.
- Informal Proceedings of the 1993 Workshop on Types for Proofs and Programs
Springer LNCS 806, Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers. Henk Barendregt, Tobias Nipkow (Eds.)
- 1994 Types Meeting in Båstad.
- Informal Proceedings of the 1993 Workshop on Types for Proofs and Programs
Springer LNCS 996, : Types for Proofs and Programs, International Workshop TYPES'94, Båstad,
Sweden, June 6-10, 1994, Selected Papers. Peter Dybjer, Bengt Nordström, Jan Smith (Eds.)
- 1996 Types Meeting in Aussois
-
Springer LNCS 1158. Types for Proofs and Programs, International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers. Eduardo Giménez, Christine Paulin-Mohring (Eds.)
- 1997 Workshop in Durham
-
Subtyping, Inheritance And Modular Development Of
Proofs.
With online proceedings.
- 1997 Workshop in Padova
- First Workshop On Formal Topology.
- 1998 Types Meeting in Kloster Irsee
-
Springer LNCS 1657, Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 1998. Selected Papers
Editors: T. Altenkirch, W. Naraschewski, B. Reus
Proofs and Programs.
- 1998 Workshop in Eindhoven
- Calculemus and Types '98.
- 1999 Workshop in Göteborg
-
Workshop on Dependent Types in Programming. Organised
together with
APPSEM.
- 1999 Types meeting in Lökeberg
- The 1999 Workshop on Types for Proofs and Programs.
Springer LNCS 1956, Types for Proofs and Programs: International Workshop, TYPES'99, Lökeberg, Sweden, June 1999. Selected Papers
Editors: T. Coquand, P. Dybjer, B. Nordström, J. Smith
- 1999 Types Summer School in Giens
-
Types Summer School.
- 2000 Types meeting in Durham
- Springer Lecture Notes in Computer Science, Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers
Editors: P. Callaghan, Z. Luo, J. McKinna, R. PollackThe 1999 Workshop on Types for Proofs and Programs.
- 2002 Types meeting in Berg en Dal
- Springer LNCS 2646, Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected Papers
Editors: H. Geuvers, F. Wiedijk
- 2002 Types Summer School in Giens
-
Theory and Practice of Formal Proofs
- 2003 Types meeting in Torino
- Springer LNCS 3085, Types for Proofs and Programs: Third International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Editors: Stefano Berardi, Mario Coppo, Ferruccio Damiani