TYPES 2022 - 28th International Conference on Types for Proofs and Programs
20-25 juin 2022
UFR Sciences et Techniques - Nantes (France)
https://types22.sciencesconf.org
The TYPES meetings are a forum for presenting new and ongoing work in all aspects of type theory and its applications, in particular in formalised and computer-assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops in a sequence of five EU-funded networking projects. Since 2009, TYPES has been run as a series of independent conferences. Official conference website: https://types22.inria.fr/
Discipline scientifique :
Informatique - Mathématiques
Lieu de la conférence