Semantics of Proofs and Certified Mathematics - Participant Support

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

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.