Summer School on Homotopy Type Theory 2019

该奖项支持20名研究生和博士后参加2019年8月7日至17日在匹兹堡卡内基梅隆大学举行的暑期学校和同伦类型理论会议。同伦类型论（英语：Homotopy type theory）是一个新的数学领域，它利用逻辑、同伦理论、范畴论和计算机科学来创建一个新的数学基础系统，可以在计算机辅助证明中实现。 参加暑期学校的学生和博士后将被介绍给基本的数学理论，并在使用相关的计算机系统的培训。 他们还将接触到目前的研究和开放的问题，并提供必要的工具和资源，开始自己的研究，独立和与他人合作。 暑期学校将持续四天，然后是为期6天的研究型会议。 更多信息可以在网站上找到：https://hott.github.io/HoTT-2019.This奖项反映了NSF的法定使命，并被认为值得通过使用基金会的知识价值和更广泛的影响审查标准进行评估来支持。

This award supports attendance by 20 graduate students and postdocs affiliated with US institutions at the Summer School and Conference on Homotopy Type Theory to be held August 7-17, 2019 at Carnegie Mellon University in Pittsburgh. Homotopy type theory is a new field of mathematics that draws on logic, homotopy theory, category theory, and computer science to create a new foundational system for mathematics that can be implemented in a computerized proof assistant. Students and postdocs attending the summer school will be introduced to the basic mathematical theory and trained in the use of the associated computer systems. They will also be exposed to current research and open problems, and provided with the necessary tools and resources to begin their own research, independently and in collaboration with others. The summer school will take place over four days, followed by a research-oriented conference of 6 days. Further information can be found at the website: https://hott.github.io/HoTT-2019.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.