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. 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. Further information will be available soon.