TYPES 2013 - 19th Workshop on Types for Proofs and Programs TYPES2012

We encourage all researchers to contribute talks on subjects related to the Types area of interest. Those include, but are not limited to:
Foundations of type theory and constructive mathematics;
Applications of type theory;
Dependently typed programming;
Industrial uses of type theory technology;
Meta-theoretic studies of type systems;
Proof-assistants and proof technology;
Automation in computer-assisted reasoning;
Links between type theory and functional programming;
Formalizing mathematics using type theory.