Semantics of Proofs and Certified Mathematics - Participant Support

证明语义和认证数学 - 参与者支持

• 批准号: 1351344
• 负责人: Steven Awodey
• 金额: $ 1.5万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-09-01 至 2014-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1351344&HistoricalAwards=false
• 关键词: Semantics; Proofs; Certified; Mathematics; Participant

This award will support attendance by students and postdocs affiliated with US institutions at the upcoming thematic trimester on Semantics of proofs and certified mathematics at the Institut Henri Poincare in Paris. The thematic trimester will run from April 22, 2014 until July 11, 2014. The purpose of this thematic trimester is to provide a forum for the extended community of researchers and students in computer science and mathematics interested in proof assistants, and more generally, in the mathematics of formal proofs. Supporting student travel to attend professional conferences and workshops is a very important mission of the NSF. Broader impacts include training the next generation of researchers in this important research area.

该奖项将支持美国机构的学生和博士后参加即将在巴黎亨利·庞加莱研究所举行的关于证明语义和认证数学的专题学期。主题学期将从2014年4月22日持续到2014年7月11日。本专题学期的目的是为计算机科学和数学领域对证明助手感兴趣的研究人员和学生提供一个论坛，更广泛地说，是对形式证明的数学感兴趣。支持学生参加专业会议和研讨会是NSF的一项非常重要的任务。更广泛的影响包括培训这一重要研究领域的下一代研究人员。