Summer School on Homotopy Type Theory 2019
同伦类型论暑期学校 2019
基本信息
- 批准号:1912896
- 负责人:
- 金额:$ 2.4万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2019
- 资助国家:美国
- 起止时间:2019-07-01 至 2020-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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日在匹兹堡卡内基梅隆大学举行的暑期学校和同伦类型理论会议。同伦类型论(英语:Homotopy type theory)是一个新的数学领域,它利用逻辑、同伦理论、范畴论和计算机科学来创建一个新的数学基础系统,可以在计算机辅助证明中实现。 参加暑期学校的学生和博士后将被介绍给基本的数学理论,并在使用相关的计算机系统的培训。 他们还将接触到目前的研究和开放的问题,并提供必要的工具和资源,开始自己的研究,独立和与他人合作。 暑期学校将持续四天,然后是为期6天的研究型会议。 更多信息可以在网站上找到:https://hott.github.io/HoTT-2019.This奖项反映了NSF的法定使命,并被认为值得通过使用基金会的知识价值和更广泛的影响审查标准进行评估来支持。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Steven Awodey其他文献
Steven Awodey的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Steven Awodey', 18)}}的其他基金
Conference: Student Support for Second International Conference on Homotopy Type Theory (HoTT 2023)
会议:第二届同伦类型理论国际会议 (HoTT 2023) 的学生支持
- 批准号:
2318492 - 财政年份:2023
- 资助金额:
$ 2.4万 - 项目类别:
Standard Grant
Semantics of Proofs and Certified Mathematics - Participant Support
证明语义和认证数学 - 参与者支持
- 批准号:
1351344 - 财政年份:2013
- 资助金额:
$ 2.4万 - 项目类别:
Standard Grant
PARTICIPANT SUPPORT FOR ATTENDANTS TO THE CONFERENCE: TYPE THEORY, HOMOTOPY THEORY AND UNIVALENT FOUNDATIONS
与会者对与会者的支持:类型论、同伦论和统一基础
- 批准号:
1324746 - 财政年份:2013
- 资助金额:
$ 2.4万 - 项目类别:
Standard Grant
Graduate Student Support for Summer School in Topos Theory
拓扑理论暑期学校研究生支持
- 批准号:
0501035 - 财政年份:2005
- 资助金额:
$ 2.4万 - 项目类别:
Standard Grant
相似海外基金
Computations and applications of Seiberg-Witten Floer stable homotopy type
Seiberg-Witten Floer稳定同伦型的计算与应用
- 批准号:
23K03115 - 财政年份:2023
- 资助金额:
$ 2.4万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Conference: Student Support for Second International Conference on Homotopy Type Theory (HoTT 2023)
会议:第二届同伦类型理论国际会议 (HoTT 2023) 的学生支持
- 批准号:
2318492 - 财政年份:2023
- 资助金额:
$ 2.4万 - 项目类别:
Standard Grant
[infinite]-Lie Groups and Their [infinite]-Lie Algebras in Real Cohesive Homotopy Type Theory
实内聚同伦型理论中的[无穷]-李群及其[无穷]-李代数
- 批准号:
2888102 - 财政年份:2023
- 资助金额:
$ 2.4万 - 项目类别:
Studentship
Homotopy theory, homotopy type theory and higher topos theory
同伦理论、同伦类型理论和更高层次的拓扑理论
- 批准号:
RGPIN-2022-04739 - 财政年份:2022
- 资助金额:
$ 2.4万 - 项目类别:
Discovery Grants Program - Individual
Homological algebra in homotopy type theory
同伦型理论中的同调代数
- 批准号:
574650-2022 - 财政年份:2022
- 资助金额:
$ 2.4万 - 项目类别:
University Undergraduate Student Research Awards
Homotopy Type Theory, Higher Category Theory
同伦类型论、高范畴论
- 批准号:
2431961 - 财政年份:2020
- 资助金额:
$ 2.4万 - 项目类别:
Studentship
Research on homotopy type theory using simplicial methods
用单纯法研究同伦型理论
- 批准号:
17J06609 - 财政年份:2017
- 资助金额:
$ 2.4万 - 项目类别:
Grant-in-Aid for JSPS Fellows
Homotopy Type Theory: Programming and Verification
同伦类型理论:编程与验证
- 批准号:
EP/M01729X/1 - 财政年份:2015
- 资助金额:
$ 2.4万 - 项目类别:
Research Grant