Mathematical Sciences: Southern Wisconsin Logic Colloquium

威斯康星大学麦迪逊分校在逻辑学和数学基础方面有着悠久的传统，始于1936年的斯蒂芬·克莱因。目前，逻辑学和基础学科有5名教师：H. Jerome Keisler, Kenneth Kunen, Steffen Lempp， Terrence Millar和Arnold Miller；以及研究集合论拓扑学的Mary Ellen Rudin。他们共同指导十多名研究生的论文，他们的逻辑研讨会平均出席人数超过20人，不仅有来自威斯康星大学的教师和研究生，还有来自附近大学和学院的逻辑学家，包括来自密尔沃基马凯特大学的保罗·班克斯顿、维姆·瑞滕堡和约翰·西姆斯；威斯康星大学帕克赛德分校的唐娜·卡尔；以及伯洛伊特学院的菲利普·斯泰茨。逻辑研讨会的目的有三个：允许威斯康星大学和附近大学和学院的逻辑教师向他们的同事和学生展示他们的工作；让威斯康星大学的研究生有机会讨论他们在逻辑和基础方面的论文工作；并为外部访客提供一个发言的论坛。目前，该组织每隔一周举行两次一小时的会谈，并安排额外的时间邀请外部发言人，去年的发言者包括：耶路撒冷希伯来大学的梅纳赫姆·马吉多尔（Menachem Magidor）；马里兰大学帕克分校的克里斯·拉斯科夫斯基；波哥大安第斯大学的Sergio Fajardo；和华盛顿美利坚大学的Ali Enayat。在每一个案例中，外部演讲者都碰巧经过麦迪逊或芝加哥，并同意发言。为了使组织者更有效地发挥作用，NSF将提供资金，在未来三个学年的九个月里，每个月邀请一位演讲者。

The University of Wisconsin - Madison has a long tradition in logic and the foundations of mathematics, starting with Stephen Kleene in 1936. Currently, there are five faculty members in logic and foundations: H. Jerome Keisler, Kenneth Kunen, Steffen Lempp, Terrence Millar, and Arnold Miller; as well as Mary Ellen Rudin, who works in set-theoretical topology. Together they supervise the theses of more than a dozen graduate students, and their logic colloquium has an average attendance of over twenty, not only faculty and graduate students from the University of Wisconsin but also logicians from nearby universities and colleges, including Paul Bankston, Wim Ruitenburg, and John Simms from Marquette University, Milwaukee; Donna Carr from the University of Wisconsin-Parkside; and Philip Steitz from Beloit College. The purpose of the logic colloquium is threefold: to allow the logic faculty of the University of Wisconsin and of nearby universities and colleges to present their work to their colleagues and students; to give graduate students at the University of Wisconsin a chance to talk about their thesis work in logic and foundations; and to provide a forum for outside visitors to speak. It currently meets every other week for two one hour talks, with additional times scheduled for outside speakers, who last year included: Menachem Magidor of Hebrew University , Jerusalem; Chris Laskowski of the University of Maryland-College Park; Sergio Fajardo of the University of the Andes, Bogota; and Ali Enayat of American University, Washington D.C. In each case, the outside speakers happened to pass through Madison or Chicago and agreed to speak. In order for the organizers to function more effectively, NSF funds are being provided to invite one speaker a month for each of the nine months of the next three academic years.