The 31st International Conference on Types for Proofs and Programs will take place at the University of Strathclyde from Monday 9 June to Friday 13 June 2025. On Tuesday 10 June, there will be a co-located Women in EuroProofNet event dedicated to gender balance in our community. The week after, CALCO/MFPS will also take place at the University of Strathclyde.
The TYPES conference is 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. Areas of interest include, but are not limited to:
- foundations of type theory and constructive mathematics;
- applications of type theory;
- dependently typed programming;
- industrial uses of type theory technology;
- meta-theoretic studies of type systems;
- proof assistants and proof technology;
- automation in computer-assisted reasoning;
- links between type theory and functional programming;
- formalizing mathematics using type theory
In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress.
Important dates
- Submission deadline (see call for contributions): 3 March 2025 AoE
- Author notification: 11 April 2025 AoE
- Camera-ready version of abstract: 9 May 2025 AoE
- Conference: 9–13 June 2025