Logic Meeting at UCLA

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

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

The biennial logic meetings at UCLA have been among the most important forums for mathematical logic on the West Coast for over three decades. The 2011 meeting continues this series. It will emphasize descriptive set theory, theoretical computer science, philosophical logic and linguistics, and complexity theory. The conference will provide a key opportunity for logicians to learn about and discuss important advances in research, to exchange ideas, and to collaborate on scientific projects. Most of the participants are expected to be research mathematicians and university teachers. At least half the award funds will be used for travel grants to help graduate students and young researchers come to the conference. What they learn at the conference will have a positive impact on their research and teaching.

加州大学洛杉矶分校的两年一次的逻辑学会议，三十多年来一直是西海岸最重要的数理逻辑论坛之一。2011年的会议延续了这个系列。它将强调描述集理论，理论计算机科学，哲学逻辑和语言学，以及复杂性理论。会议将为逻辑学家提供一个重要的机会，让他们了解和讨论重要的研究进展，交流思想，并在科学项目上进行合作。大多数参与者预计将是研究数学家和大学教师。至少一半的奖金将用于旅行补助，以帮助研究生和年轻研究人员来参加会议。他们在会上学到的东西将对他们的研究和教学产生积极的影响。