Two Conferences in Logic at Notre Dame

巴黎圣母院逻辑学小组将通过一次会议和一个简短的暑期学校课程，在整个逻辑学的教职员工和学生中激发广泛的讨论。2005年5月，在为期一周的沃特猜想和可数结构分类会议上，模型理论家、可计算性理论家和描述集合论者将分享他们对这个长期棘手的问题和由此产生的研究的不同观点。2005年6月，为期两周的证明理论短期课程，面向数理逻辑、计算机科学和哲学的研究生，将填补美国学生教育经验的空白，促进学科间的互动。证明理论课程旨在促进数学、计算机科学和哲学研究生之间的互动。课程场地将拓宽学生对他们的学术追求和职业选择的视角。几十年来，沃特的猜想一直从不同学科的角度进行研究。会议的目的是分享这些不同的观点，重点放在问题上，而不是工具上。沃特猜想和可数结构分类会议的跨学科性质将使演讲更容易为各级研究生所接受。

The Notre Dame logic group will invigorate broad discussions among facultyand students across logic through a conference and a short summer schoolcourse. During a week-long Conference on Vaught's Conjecture andClassification of Countable Structures in May of 2005, model theorists,computability theorists and descriptive set theorists will share theirdifferent perspectives on this long-intractable problem and the research ithas spawned. A June, 2005, two-week Short Course in Proof Theory, aimed atgraduate students in mathematical logic, computer science and philosophy,will fill a gap in the educational experience of students in the U.S.\ andpromote interdisciplinary interaction.The course in proof theory is deliberately designed to foster interactionbetween graduate students in mathematics, computer science and philosophy.The venue will broaden the student's perspective on their scholarly pursuitsand career options.Vaught's conjecture has been studied from the perspectives of differentdisciplines for decades. The purpose of the conference is to share thesedifferent perspectives with a focus on the problem rather than the tools.The interdisciplinary nature of Conference on Vaught's Conjecture andClassification of Countable Structures will have the added benefit of makingthe talks more accessible to graduate students at all levels.