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