Logic Meeting at UCLA

加州大学洛杉矶分校的逻辑会议

• 批准号: 1305671
• 负责人: Itay Neeman
• 金额: $ 1.2万
• 依托单位: University of California-Los Angeles
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-01-15 至 2013-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1305671&HistoricalAwards=false
• 关键词: Logic; Meeting; UCLA

The PIs propose holding a three-day conference on mathematical logic at UCLA from February 1 to February 3, 2013. The conference will cover mathematical logic, broadly interpreted, including set theory, model theory, recursion theory, logic in computer science, and philosophy of mathematics. The conference will continue a series of biennial logic meetings at UCLA which, starting in the mid 1970s, has been one of the most important forums for mathematical logic on the West Coast. The conference will be a key opportunity for logicians to learn about and discuss important advances in research, to exchange ideas, and to collaborate on scientific projects. The conference will be advertised to attract a large audience. Graduate students and researchers at early career stages, in particular, will be encouraged to participate. The organizers will ensure that women and minority mathematicians are made aware of the conference and are strongly encouraged to participate.

PIS提议于2月1日至2013年2月3日在UCLA举行为期三天的数学逻辑会议举行了为期三天的数学逻辑会议。会议将涵盖数学逻辑，广泛解释，包括集合理论，模型理论，递归理论，计算机科学和哲学中的逻辑，逻辑数学。该会议将继续在UCLA举行一系列两年一次的逻辑会议，从1970年代中期开始，这是西海岸最重要的数学逻辑论坛之一。这次会议将是逻辑学家学习并讨论研究，交流思想以及在科学项目中合作的重要进展的关键机会。会议将被广告吸引大量听众。尤其是在职业早期阶段的研究生和研究人员将被鼓励参加。组织者将确保使妇女和少数民族数学家知道会议，并强烈鼓励参加会议。