感兴趣的类型包括但不限于：

• 类型理论和构造数学基础；
• 类型理论的应用；
• 依赖型编程；
• 类型理论技术的工业应用；
• 类型系统的元理论研究；
• 证明助手和证明技术；
• 计算机辅助推理的自动化；
• 类型理论与函数编程之间的联系；
• 用类型论形式化数学

我们鼓励讨论提出应用类型理论的新方法。本着研讨会的精神，会谈可以基于新发表的论文、提交出版的作品，也可以基于正在进行的作品。