| 2025 | 31 | 31st International Conference on Types for Proofs and Programs, TYPES 2025, University of Strathclyde, Glasgow, Scotland, UK, June 9-13, 2025 | Glasgow | |
| 2024 | 30 | 30th International Conference on Types for Proofs and Programs, TYPES 2024, Copenhagen, Denmark, June 10-14, 2024 | Copenhagen | |
| 2023 | 29 | 29th International Conference on Types for Proofs and Programs, TYPES 2023, ETSInf, Universitat Politècnica de València, Spain, June 12-16, 2023 | Technical University of Valencia | |
| 2022 | 28 | 28th International Conference on Types for Proofs and Programs, TYPES 2022, LS2N, University of Nantes, France, June 20-25, 2022 | France | |
| 2021 | 27 | 27th International Conference on Types for Proofs and Programs, TYPES 2021, Leiden, The Netherlands (Virtual Conference), June 14-18, 2021 | Kingdom of the Netherlands | |
| 2020 | 26 | 26th International Conference on Types for Proofs and Programs, TYPES 2020, University of Turin, Italy, March 2-5, 2020 | University of Turin | |
| 2019 | 25 | 25th International Conference on Types for Proofs and Programs, TYPES 2019, Oslo, Norway, June 11-14, 2019 | Oslo | |
| 2018 | 24 | 24th International Conference on Types for Proofs and Programs, TYPES 2018, Braga, Portugal, June 18-21, 2018 TYPES | Braga | 2018-06-18/21 |
| 2017 | 23 | 23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, May 29 - June 1, 2017 TYPES | Budapest | 2017-05-29 |
| 2016 | 22 | 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, May 23-26, 2016 TYPES | Novi Sad | 2016-05-23/26 |
| 2015 | 21 | 21st International Conference on Types for Proofs and Programs, TYPES 2015, Tallinn, Estonia, May 18-21, 2015 TYPES | Tallinn | 2015-05-18/21 |
| 2014 | 20 | 20th International Conference on Types for Proofs and Programs, TYPES 2014, Paris, France, May 12-15, 2014 TYPES | Paris | 2014-05-12/15 |
| 2013 | 19 | 19th International Conference on Types for Proofs and Programs, TYPES 2013, Toulouse, France, April 22-26, 2013 TYPES | Toulouse | 2013-04-22/26 |
| 2011 | 18 | 18th International Workshop on Types for Proofs and Programs, TYPES 2011, Bergen, Norway, September 8-11, 2011 TYPES | Bergen | 2011-09-08/11 |
| 2008 | | International Workshop on Types for Proofs and Programs TYPES | Turin | 2008-03-26/29 |
| 2007 | | International Workshop on Types for Proofs and Programs TYPES | Cividale del Friuli | 2007-05-02/05 |
| 2006 | | International Workshop on Types for Proofs and Programs TYPES | Nottingham | 2006-04-18/21 |
| 2004 | | International Workshop on Types for Proofs and Programs TYPES | Jouy-en-Josas | 2004-12-15/18 |
| 2003 | | International Workshop on Types for Proofs and Programs TYPES | Turin | 2003-04-30 to 2003-05-04 |
| 2002 | | International Workshop on Types for Proofs and Programs TYPES | Kingdom of the Netherlands | 2002-04-24/28 |
| 2000 | | International Workshop on Types for Proofs and Programs TYPES | Durham | 2000-12-08/12 |
| 1999 | | International Workshop on Types for Proofs and Programs TYPES | Lökeberg | 1999-06-12/16 |
| 1998 | | International Workshop on Types for Proofs and Programs TYPES | Germany | 1998-03-27/31 |
| 1996 | | International Workshop on Types for Proofs and Programs TYPES | Aussois | 1996-12-15/19 |
| 1995 | | International Workshop on Types for Proofs and Programs TYPES | Turin | 1995-06-05/08 |
| 1994 | | International Workshop on Types for Proofs and Programs TYPES | Båstad | 1994-06-06/10 |
| 1993 | | International Workshop on Types for Proofs and Programs TYPES | Kingdom of the Netherlands | 1993-05-24/28 |
