31st International Conference on Types for Proofs and Programs (TYPES 2025)Info Location Contact Event Information
DescriptionThe 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. More information can be found on the TYPES webpage.
ContactTYPES 2025 organising team |