Mathematical Sciences: Greater Boston Logic Conference, Spring 1995

自20世纪80年代初以来，大波士顿逻辑会议为杰出的研究人员和研究生提供了一个广泛而集中的会面机会。将于1995年5月27日至30日在麻省理工学院举行的大波士顿逻辑会议是这个两年一次的系列会议的延续和扩展。为期四天的会议每天将分为上午和下午两部分，其中上午部分将由受邀演讲者进行全体演讲，供逻辑学家一般听众感兴趣。每个下午的会议将包括三个或更多的同时研讨会，每个研讨会强调模型论，递归论或集合论的高级主题。这些工作坊将包括模型论与解析函数、应用稳定性理论、度理论、内模型论与精细结构。这些研讨会的目标是帮助有成就的数学家和研究生进入重要的、快速发展的、技术上困难的领域。工作坊将鼓励演讲者提供完整的证明，并解释其背后的方法和直觉；将有相当多的时间用于提问和讨论。美国国家科学基金会提供的大部分资金将用于支付研究生和博士后的旅费。资金也将用于没有其他赠款支持的邀请演讲者。＊＊＊

9415827 Hrushovski Since the early 1980's, the Greater Boston Logic Conference has offered a major opportunity for prominent researchers and graduate students alike to meet on an extended and concentrated basis. The Greater Boston Logic Conference, to be held at the Massachusetts Institute of Technology on May 27-30, 1995, is a continuation and expansion of this biennial conference series. Each day of the four-day conference will be divided into morning and afternoon sessions, of which the morning sessions will consist of plenary lectures by the invited speakers, of interest to a general audience of logicians. Each afternoon session will consist of three or more simultaneous workshops, each workshop emphasizing an advanced topic within Model Theory, Recursion Theory, or Set Theory. These will include workshops on Model Theory and Analytic Functions, Applied Stability Theory, Degree Theory, and Inner Model Theory and Fine Structure. The workshops' goal is to aid both established mathematicians and graduate students to break into important, fast developing, and technically difficult areas. Workshop speakers will be encouraged to give complete proofs and to explain the methods and intuition behind them; there will be considerable time devoted to questions and discussion. The majority of the funds provided by the National Science Foundation will defray travel expenses for graduate students and postdocs. Funds will also be used for invited speakers without other grant support. ***