2010 Types meetingWarsaw, 13 - 16 Oct, 2010, will be published in LMCS
2009 Types meeting Aussois, France, 12 - 15 May, 2009, proceedings2008 Types meetingTorino, 26 - 29 March, 2008, Lecture Notes in Computer Science 4941 Springer 20082007 Types meeting Cividale del Friuli (Udine), Italy, 2 - 5 May 2007, Lecture Notes in Computer Science 4941 Springer 2008- 2006 Types meeting
- Nottingham, April 18 - 21,
Lecture Notes in Computer Science 4502 Springer 2007,- 2004 Types meeting in Paris
- Annual meeting Dec 15-18.
- Lecture Notes in Computer Science 3839 Springer 2006
- 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.
- 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: Geuvers, F. Wiedijk.
- 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.
- 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. - 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.
- 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.).
- 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.). - 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.). - 1992 Types Meeting in Båstad
- Proceedings of the 1992 Workshop on Types for Proofs and Programs
- 1991 Types Meeting in Edinburgh
- Proceedings of the Second Workshop on Logical Frameworks
- 1990 Types Meeting in Antibes
- Proceedings of the First Workshop on Logical Frameworks
|
|
