Mathematical Sciences: Mid-Atlantic Mathematical Logic Seminar

为中大西洋数理逻辑研讨会提供部分支持。MAMLS成立于1982年秋天。从那时起，在李斯坦利的主要监督下，每年召开三到四次会议。预计今后三年每年举行四次会议，包括与其他组织联合举行的一些会议。研讨会涵盖了数学逻辑的广泛领域，特别强调复杂性理论、理论计算机科学、算术碎片、纯和应用模型论、集合论、按照H. Friedman和S. Simpson的程序分析的子系统，以及拓扑理论。主要为外部发言者提供支持。助学金还提供了研究生和其他没有其他助学金支持的定期研讨会参与者的旅费，以及与组织和运行研讨会有关的附带费用，特别是邮寄费用（复印和邮资）。MAMLS在1984-1985年由美国国家科学基金会通过李J.斯坦利在里海大学的补助金MCS 8201042的补充资助，在1985-1987年通过补助金DMS 8506058，在1987-1989年通过补助金DMS 8704751，从1989年开始在补助金DMS 8907348下支持，全部由李J.斯坦利担任项目主任。

Partial support is provided for the Mid-Atlantic Mathematical Logic Seminar. MAMLS was formed in the fall of 1982. It has been running three or four meetings a year under the primary supervision of Lee Stanley since that time. Four meetings per year are projected for the next three years, including some meetings held jointly with other organizations. The seminar covers a broad spectrum of mathematical logic with particular emphasis on complexity theory, theoretical computer science, fragments of arithmetic, pure and applied model theory, set theory, subsystems of analysis in accordance with the program of H. Friedman and S. Simpson, and topos theory. Support is provided primarily for outside speakers. Supportis also provided for travel expenses of graduate students and other regular seminar participants not supported by other grants, and for incidental expenses associated with organizing and running the seminar, notably mailing costs (copying and postage). MAMLS was supported by NSF in 1984-1985 through a supplement to Lee J. Stanley's grant MCS 8201042 at Lehigh University, in 1985-1987 under grant DMS 8506058, in 1987-1989 through grant DMS 8704751, and since 1989 under grant DMS 8907348, all to Lehigh University with Lee J. Stanley as project director.