Previous events

2008 Types meeting

Torino, 26 - 29 March, 2008

2007 Small Workshop

Computational Interpretation of Proofs, Paris, Nov 29 - 30, 2007

2007 Small Workshop

Effects and Type Theory, Tallinn, 13 - 14 Dec, 2007

2007 Small Workshop

Reflections on Type Theory, Lambda Calculus, and the Mind, Nijmegen 17 Dec, 2007

2007 Small Workshop

Dependently Typed Programming, Nottingham, 18 - 20 Feb, 2008

2007 Small Workshop: Math Wiki, Edinburgh, Oct 31 - Nov 1, 2007
2007 Small Workshop: Type theory, proof theory and rewriting Paris, June 29, 2007
2007 Small Workshop: Proof Assistants and Types in Education Paris, 25 June, 2007

2007 Small Workshop

Colloquium in Honor of Gerard Huet, Paris June 22-23, 2007

2007 Types Summer School: Bologna 19 - 31 August, 2007

2007 Annual Types meeting: Cividale del Friuli (Udine), Italy, 2 - 5 May 2007

2007 Small Workshop on Formal Topology: Padova, 7 - 12 May, 2007

2007 Higher Order Rewriting (HOR '07): Paris, June 25, 2007

2006 Small Workshop on Deep Inference

Paris, 1 - 2 December, 2006

2006 Small Workshop CHIT/CHAT: Nijmegen, 18 -22 December, 2006

2006 Annual Types meeting: Nottingham, April 18 (D5)
2006 Small Types workshop in Kuressaare: Workshop on Mathematically Structured Functional Programming, July 2. (D17)
2005 Small Types workshop, Toulouse: Second International Workshop on Isomorphisms of Types, Toulouse, France, October 28-29. (D16)
2005 Small Types workshop in Nijmegen: Constructive analysis, types and exact real numbers, October 3-4. (D15)
2005 Small Types workshop in Tallinn: MERLIN 2005, MEchanized Reasoning about Languages with varIable biNding, September 30. (D14)
2005 Types Summer School, Göteborg: August 15-26.
2005 Small Types workshop in Chambery: High Level Languages for Proofs, April 13-14.
2004 Small Types workshop in Nijmegen: "Types for Mathematics/Libraries of Formal Mathematics", Nov 1-2.
2004 Types meeting in Paris: Annual meeting Dec 15-18.
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 Summer School in Giens: Theory and Practice of Formal Proofs.
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 Summer School in Giens: Types Summer School.
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 Workshop in Göteborg: Workshop on Dependent Types in Programming.

Organised together with APPSEM.
1998 Workshop in Eindhoven: Calculemus and Types ′98
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.
1997 Workshop in Padova: First Workshop On Formal Topology.
1997 Workshop in Durham: Subtyping, Inheritance And Modular Development Of Proofs. With online proceedings.
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