The Types conference is an almost yearly conference held since 1990. It is a forum to present new and on-going work in all aspects of type theory and its applications.
The Steering Committee currently consists of Christian Sattler, Fredrik Nordvall Forsberg, Malin Altenmüller, Meven Lennon-Bertrand, Rasmus Møgelberg (chair), and Tom de Jong (secretary).