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

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

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.