A list of conferences and events that may be of interest to type theory enthusiasts. Please contribute!
- LambdaConf
- PrlConf
- ComposeConf
- Oregon Programming Languages Summer School
- Principles of Programming Languages
- Formal Structures for Computation and Deduction
- Types for Proofs and Programs
- Interactive Theorem Proving
- Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics
- Grammatical Framework Summer School