25th International Conference on Types for Proofs and Programs
The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series.The TYPES areas of interest include, but are not limited to:
We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress.
The Conference is partially supported by COST Action CA15123 EUTypes.