Mid-Atlantic Mathematical Logic Seminar (MAMLS)

点击翻译按钮获取中文摘要

The Mid-Atlantic Mathematical Logic Seminar (MAMLS), formed inthe fall of 1982 under the aegis of Lee Stanley, has supported 3-4regional meetings per year of 1-2 days' duration since then. Thesemeetings are held at various locations and cover a broad spectrum ofmathematical logic with particular emphasis on complexity theory,theoretical computer science, fragments of arithmetic, pure and appliedmodel theory, proof theory, recursion theory, set theory,subsystems of analysis in accordance with the program of H. Friedmanand S. Simpson, and topos theory. NSF support is provided for some of the expenses of the speakers and attendees, in particular of thegraduate students. Via the meetings sponsored, the MAMLS grant maintains thevitality of the field of mathematical logic. Special emphasis is placed on enhancing the participation of younger researchers andmembers of traditionally underrepresented groups, especially women.This is done by providing an intellectual forum in which all interestedpersons are invited to contribute and in which there are lectures oncurrent topics of research.