+ 31st International Conference on Types for Proofs and Programs + Glasgow, Scotland, 9–13 June 2025 + https://msp.cis.strath.ac.uk/types2025/ +
+ +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.
+ +The TYPES areas of interest include, but are not limited to:
+We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable. If you need to discuss remote participation, please contact the PC chair.
+ +Researchers from COST Inclusiveness Target Countries are reminded that the European Research Network on Formal Proofs COST action has some funding available for conference attendance.
+TYPES solicits contributed talks to stimulate discussions. Selection of those will be based on extended abstracts/short papers of 2 pp (not counting the bibliography) formatted with easychair.cls.
+ +The submission site is: https://openreview.net/group?id=TYPES/2025/Conference.
+Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference.
+A post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone.
+ +Tentative submission deadline for the post-proceedings: October 2025.
+The the list of committee members can be found here.
+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. Previous TYPES meetings were held in 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 near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), 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), Virtual (2021), Nantes (2022), València (2023), Copenhagen (2024).
+In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Further information will be available soon.
+In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress.
+ +