Past meetings

2020, Types meeting in Torino, Italy, cancelled some days before the conference date

LIPIcs volume: submissions are being collected. Original deadline: October 18, 2020 - please check the conference link for updates.

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

LIPIcs vol. 175, 25th International Conference on Types for Proofs and Programs (TYPES 2019), Marc Bezem and Assia Mahboubi (Eds.)

2018, Types meeting in Braga, Portugal, 18 - 21 June

LIPIcs vol. 130, 24th International Conference on Types for Proofs and Programs (TYPES 2018), Peter Dybjer and José Espírito Santo and Luís Pinto (Eds.)

2017 Types meeting in Budapest, Hungary, 29 May - 1 June

LIPIcs vol. 104, 23rd International Conference on Types for Proofs and Programs (TYPES 2017), May 29-June 1, 2017 - Budapest, Hungary, Andreas Abel and Fredrik Nordvall Forsberg and Ambrus Kaposi (Eds.)

2016 Types meeting in Novi Sad, Serbia, 23 - 26 May

LIPIcs vol. 97, 22nd International Conference on Types for Proofs and Programs (TYPES 2016), May 23-26, 2016 - Novi Sad, Serbia, Silvia Ghilezan and Herman Geuvers and Jelena Ivetić (Eds.)

2015 Types meeting in Tallinn, Estonia, 18 - 21 May

LIPICS Vol. 69, 21st International Conference on Types for Proofs and Programs (TYPES 2015), May 18-21, 2015 - Tallinn, Estonia. Tarmo Uustalu (Ed.).

2014 Types meeting in Paris, France, 12 - 16 May

LIPICS Vol. 39, 20th International Conference on Types for Proofs and Programs (TYPES 2014), May 12-15, 2014 - Paris, France. Hugo Herbelin, Pierre Letouzey and Matthieu Sozeau (Eds.).

2013 Types meeting in Toulouse, France, 22 - 26 April

LIPICS Vol. 26, 19th International Conference on Types for Proofs and Programs (TYPES 2013), April 22–26, 2013 - Toulouse, France. Ralph Matthes and Aleksy Schubert (Eds.).

2011 Types meeting in Bergen, Norway, 12 - 15 September

LIPICS Vol. 19, 18th International Workshop on Types for Proofs and Programs (TYPES 2011), September 8-11, 2011, Bergen, Norway. Nils Anders Danielsson and Bengt Nordström (Eds.).

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.