Mid-Atlantic Mathematical Logic Seminar (MAMLS)

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

The Mid-Atlantic Mathematical Logic Seminar (MAMLS) will have its firstconference of Academic Year 2013-2014 at Rutgers University in eitherSeptember or October 2013.MAMLS was formed in the fall of 1982 under the aegis of Lee Stanley andhas supported 2-4 regional meetings per year of 1-2 days' durationsince then. These meetings are held at various locations and cover a broadspectrum of mathematical logic, with particular emphasis oncomplexity theory, theoretical computer science, fragments ofarithmetic, pure and applied model theory, proof theory,recursion theory/computability theory, set theory, subsystems ofanalysis in accordance with the program of H. Friedman and S. Simpson,and topos theory. NSF support is provided for some of the expensesof the speakers and attendees, in particular of the graduatestudents and those without access to their own funding.Via the meetings sponsored, the MAMLS grant maintains thevitality of the field of mathematical logic. Special emphasis isplaced on enhancing the participation of younger researchers andmembers of traditionally underrepresented groups, especiallywomen. This is done by providing an intellectual forum in whichall interested persons are invited to contribute and in whichthere are lectures on current topics of research.Information about MAMLS may be found by visiting http://mamls.org