Home

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/