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日在匹兹堡卡内基梅隆大学举行的暑期学校和同伦类型理论会议。同伦类型理论是一个新的数学领域，它吸收了逻辑学、同伦理论、范畴理论和计算机科学，为数学创造了一个新的基础系统，可以在计算机证明助手中实现。参加暑期学校的学生和博士后将被介绍基本的数学理论，并训练使用相关的计算机系统。他们还将接触到当前的研究和开放的问题，并提供必要的工具和资源，开始自己的研究，独立或与他人合作。暑期学校将持续四天，之后是为期六天的研究会议。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，认为值得支持。