Summer School on Homotopy Type Theory 2019

同伦类型论暑期学校 2019

• 批准号: 1912896
• 负责人: Steven Awodey
• 金额: $ 2.4万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-07-01 至 2020-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1912896&HistoricalAwards=false
• 关键词: Summer; Homotopy; Type; Theory; 2019

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.

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