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.