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日在匹兹堡卡内基·梅隆大学（Carnegie Mellon University）举行的暑期学校和同型类型理论会议上的20名研究生和博士后。同型类型理论是一个新的数学领域，它借鉴了逻辑，同义理论，类别理论和计算机科学，以创建用于数学的新基础系统，该系统可以在计算机化的证明助手中实现。 就读暑期学校的学生和博士后将被介绍给基本的数学理论，并在使用相关计算机系统的使用方面接受培训。 他们还将接触到当前的研究和开放问题，并提供必要的工具和资源，以独立并与他人合作开始自己的研究。 暑期学校将在四天内举行，然后举行以研究为导向的6天会议。 可以在网站上找到更多信息：https：//hott.github.io/hott-2019.这项奖项反映了NSF的法定任务，并使用基金会的知识分子优点和更广泛的影响审查标准，认为值得通过评估来获得支持。