Carnegie Mellon Summer School in Logic and Formal Epistemology; Summer of 2009 and 2010; Pittsburgh, PA

卡内基梅隆大学逻辑与形式认识论暑期学校；

• 批准号: 0937208
• 负责人: Jeremy Avigad
• 金额: $ 2.4万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-05-15 至 2011-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0937208&HistoricalAwards=false
• 关键词: Carnegie; Mellon; Summer; Logic; Formal

Avigad and Danks will direct a three-week summer school in Logic and Formal Epistemology at Carnegie Mellon University during the summers of 2009 and 2010. The three-week program will draw approximately 30 talented undergraduates from across the United States and abroad, in fields such as mathematics, computer science, and philosophy, and expose them to topics in logic, causal and statistical inference, formal veri fication, and decision theory.The summer school will thus introduce students to important areas of research at the interface between philosophy and the sciences, forge substantial connections between a number of disciplines, and support the use of formal methods in technology and the sciences. The program has been offered since the summer of 2006, and has been highly successful.

Avigad和Danks将于2009年和2010年夏季在卡内基梅隆大学指导一个为期三周的逻辑和形式认识论暑期班。为期三周的课程将吸引来自美国和国外的大约30名有才华的本科生，在数学，计算机科学和哲学等领域，并让他们接触逻辑，因果和统计推理，形式验证和决策理论等主题。暑期学校将向学生介绍哲学和科学之间的重要研究领域，在一些学科之间建立实质性联系，并支持在技术和科学中使用正式方法。该计划自2006年夏天开始实施，并取得了巨大成功。