Past meetings

2019, Types meeting in Oslo, Norway, 11-14 June

LIPIcs volume: call for papers will soon come out.


The Types Conference

2010 Types meeting in Warsaw, Poland, 13 - 16 October

LMCS, Special Issue: Types for Proofs and Programs, 2010, Warsaw, Poland. Henk Barendregt and Paweł Urzyczyn (Eds.).

2009 Types meeting in Aussois, France, 12 - 15 May

EPTCS 53, Types for Proofs and Programs, Revised Selected Papers, Aussois, France, 12-15th May 2009. Tom Hirschowitz (Ed.).

2008 Types meeting in Torino, Italy, 26 - 29 March

Springer LNCS 5497, Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008, Revised Selected Papers. Stefano Berardi, Ferruccio Damiani and Ugo de’Liguoro (Eds.).

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

Springer LNCS 4941, Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Marino Miculan, Ivan Scagnetto and Furio Honsell (Eds.).

2006 Types meeting in Nottingham, UK, 18 - 21 April

Springer LNCS 4502, Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers. Thorsten Altenkirch and Conor McBride (Eds.).

2004 Types meeting in Jouy-en-Josas (Paris), France, 15 - 18 December

Springer LNCS 3839, Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers. Jean-Christophe Filliâtre, Christine Paulin-Mohring and Benjamin Werner (Eds.).

2003 Types meeting in Torino, Italy, 30 April - 4 May

Springer LNCS 3085, Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. Stefano Berardi, Mario Coppo and Ferruccio Damiani (Eds.).

2002 Types meeting in Berg en Dal (Nijmegen), The Netherlands, 24 - 28 April

Springer LNCS 2646, Types for Proofs and Programs: International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers. Herman Geuvers and Freek Wiedijk (Eds.).

2000 Types meeting in Durham, UK, 8 - 12 December

Springer LNCS 2277, Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers. Paul Callaghan, Zhaohui Luo, James McKinna and Robert Pollack (Eds.).

1999 Types meeting in Lökeberg, Sweden, 12 - 16 June

Springer LNCS 1956, Types for Proofs and Programs: International Workshop, TYPES′99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers. Thierry Coquand, Peter Dybjer, Bengt Nordström and Jan Smith (Eds.).

1998 Types Meeting in Kloster Irsee, Germany, 27 - 31 March

Springer LNCS 1657, Types for Proofs and Programs: International Workshop, TYPES ′98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers. Thorsten Altenkirch, Bernhard Reus and Wolfgang Naraschewski (Eds.).

1996 Types Meeting in Aussois, France, 15 - 19 December

Springer LNCS 1512. Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996, Selected Papers. Eduardo Giménez and Christine Paulin-Mohring (Eds.).

1995 Types Meeting in Torino, Italy, 5 - 8 June

Springer LNCS 1158. Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers. Stefano Berardi and Mario Coppo (Eds.).

1994 Types Meeting in Båstad, Sweden, 6 - 10 June

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 and Jan Smith (Eds.).

1993 Types Meeting in Nijmegen, The Netherlands, May 24 - 28

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 and Tobias Nipkow (Eds.).

1992 Types Meeting in Båstad, Sweden

Proceedings of the 1992 Workshop on Types for Proofs and Programs.

1991 Types Meeting in Edinburgh, UK

Proceedings of the Second Workshop on Logical Frameworks.

1990 Types Meeting in Antibes, France

Proceedings of the First Workshop on Logical Frameworks.