Logic and Mathematics Conference

该提案的目的是组织一次关于逻辑的会议，更具体地说是关于描述集合论和模型理论及其应用的会议。会议上的讲座将代表该领域正在进行的最高质量的工作。通过将描述性集合论和模型理论的主要贡献者聚集在一起，会议将有助于开发新的合作途径，并将有助于使研究人员熟悉彼此的工作。该项目的目标包括，一方面帮助数学家学习在他们的工作中使用来自逻辑的工具，另一方面使逻辑学家熟悉源自其他领域的问题和想法，这些问题和想法可能与逻辑中发展的方法和想法产生共鸣。参加会议的年轻研究人员将得到该项目的支持，他们将通过与该领域最优秀的数学家直接互动而受益。参加会议将是他们研究生和研究生教育中有价值的组成部分。会议将于2010年4月下半月在伊利诺伊大学香槟分校举行。

The aim of the proposal is to organize a conference on logic, more specifically descriptive set theory and model theory, and its applications. The lectures in the meeting will represent the highest quality work being done in the field. By bringing together major contributors to applications of descriptive set theory and model theory, the conference will help develop new avenues of cooperation and will help familiarize researchers with each others work. Goals of the project include, on the one hand, helping mathematicians learn to use tools coming from logic in their work and, on the other hand, familiarizing logicians with problems and ideas originating in other fields which may resonate with methods and ideas developed within logic. The young researchers whose participation in the meeting will be supported by this project will benefit by directly interacting with the best mathematicians in the field. Attendance in the conference will be a valuable component in their graduate and postgraduate education. The conference will take place at the University of Illinois at Urbana-Champaign in the second half of April 2010.