The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. Participation is open to everybody working on or interested in these topics, whether or not they contribute a talk.
From network workshops to a conference series
The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU-funded networking projects. From 2009 onwards, TYPES has been run as an independent conference series.
The character of those early workshops has survived the change of format. TYPES remains a working meeting rather than a showcase: contributions are selected on a two-page abstract, work in progress is as welcome as finished results, and the programme leaves room for discussion.
In recent editions the conference has been followed by an open call for full papers, published in the Leibniz International Proceedings in Informatics (LIPIcs) series and reviewed to the standards of a journal publication.
Previous editions
The series has met thirty-two times, which makes Udine the thirty-third edition. Previous editions has been: Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal (2002, near Nijmegen), Torino (2003), Jouy-en-Josas (2004, near Paris), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019), Leiden (2021, online), Nantes (2022), Valencia (2023), Copenhagen (2024), Glasgow (2025), Gothenburg (2026).
The series keeps its own record of past meetings on the TYPES conferences site. Where an edition's own website has gone, the link here points to an Internet Archive snapshot. The meetings from 1990 to 1996, and the one in Durham in 2000, have no website on record — if you know of one, please tell us.
TYPES in Friuli
This is not the first time the series comes to this corner of Italy. The 2007 edition was held in Cividale del Friuli, close to Udine. Torino has hosted the meeting three times, in 1995, 2003 and 2008.
Cividale is worth the short trip during the conference week too — see the practical information.