Penn State Logic Seminar

This is an interdisciplinary seminar. Participants are largely from Mathematics but also from Computer Science, Philosophy, Linguistics, Physics, Electrical Engineering, and other departments. The host of the seminar is Stephen G. Simpson. If you have any comments or want to be added to or removed from the list for e-mail announcements, please send e-mail to Steve at t20@psu.edu.

This page was last updated on January 24, 2007 and is now out-of-date. The current web page for the Penn State Logic Seminar is here.

Some Relevant Links

Spring 2007

Tuesdays 2:30-3:45, 106 McAllister.

Fall 2006

Tuesdays 2:30-3:45, 106 McAllister.

Spring 2006

Tuesdays 2:30-3:45, 106 McAllister.

Fall 2005

In Fall 2005 Steve Simpson ran the seminar. We met Tuesdays 2:30 - 3:45 in 106 McAllister, the main seminar room in our newly remodeled mathematics building. Talks were 75 minutes long. In addition, there was a weekly Logic Lunch at various downtown State College restaurants.

Summer 2005

In Summer 2005 Steve Simpson ran the seminar. We met Tuesdays 2:30 - 3:45 in 123 Pond. Talks were 75 minutes long.

Spring 2005

In Spring 2005 the seminar was run by John Clemens and was available to be taken as a 1-credit course, Math 597C. We met Tuesdays 2:30 - 3:45 in 103 Pond. Talks were 75 minutes long. Our weekly Logic Lunch was organized by Carl Mummert.

Fall 2004

In Fall 2004 the seminar was run by John Clemens. We met Tuesdays 2:30 - 3:45 in 307 Boucke. Talks were 75 minutes long. This seminar was available to be taken as a 1-credit course, Math 597D. Our weekly Logic Lunch was organized by Carl Mummert.

Summer 2004

In Summer 2004 the seminar was run by Carl Mummert. We met Wednesdays 11:10-12:25 in various rooms on the third floor of Boucke Building.

Spring 2004

In Spring 2004 the seminar was run by Natasha Dobrinen, Tuesdays, 2:30-3:45 PM, in 307 Boucke. It was available to be taken as a 1-credit course, Math 597D, Schedule Number 296812. Talks were 75 minutes long. In addition to talks by Penn Staters, we had several speakers from outside Penn State. Our weekly Logic Lunch was organized by Carl Mummert.

Fall 2003

In Fall 2003 the Logic Seminar was run by Natasha Dobrinen. It met Tuesdays, 2:30-3:45 PM in 113 McAllister. It was available to be taken as a 1-credit course, Math 597D, Schedule Number 205840. Talks were 75 minutes long. In addition to talks by Penn Staters, we had several speakers from outside Penn State. Our weekly Logic Lunch was organized by Carl Mummert.

Spring 2003

In Spring 2003 the Logic Seminar was run by Natasha Dobrinen. It met every Tuesday, 2:30-3:45 PM in 113 McAllister. It was available to be taken as a 1-credit course, Math 597J, Schedule Number 145249. Talks were 75 minutes long. In addition to talks by Penn Staters, we had several speakers from outside Penn State. Logic Lunch was organized by Carl Mummert.

Fall 2002

In Fall 2002 Natasha Dobrinen ran the Logic Seminar. It met every Tuesday, 2:30-3:45 PM in 312 Boucke. It was available to be taken as a 1-credit course, Math 598F, Schedule Number 145138. Talks were 75 minutes long. In addition to talks by Penn Staters, we had several speakers from outside Penn State. Logic Lunch was organized by Carl Mummert.

Summer 2002

Arthur Apter of CUNY gave a talk on Friday, May 17, at 2:30. Indestructibility and Strong Compactness.

Spring 2002

In Spring 2002 the logic seminar met every Tuesday, 2:30-3:45 PM. It was available to be taken as a 1-credit course, Math 598A, Schedule Number 901887. Talks are 75 minutes long. In addition to talks by Penn Staters, we are had several speakers from outside Penn State. Logic Lunch was on Tuesdays at 12:30, in various downtown restaurants.

Fall 2001

In Fall 2001 the logic seminar met every Tuesday, 2:30-3:45 PM, in 306 Boucke. It was available as a 1-credit course, Math 598D, Schedule Number 893679. Talks were 75 minutes long. In addition to talks by Penn Staters, we had several speakers from outside Penn State. Logic Lunch was every Tuesday at 12:45 in various downtown restaurants.

Summer 2001

In Summer 2001 there was a very informal logic seminar. Stephen Binns, Carl Mummert, and Steve Simpson met irregularly on Tuesdays and Thursdays, 11:15-12:30, in 113 McAllister. We worked through part of the book Tame Topology and o-Minimal Structures, by Lou van den Dries.

Spring 2001

In Spring 2001 the Logic Seminar met every Tuesday, 2:30-3:20 PM, in 316 Willard. Logic Lunch was every Tuesday at 12:15 in various downtown restaurants.

Fall 2000

In Fall 2000 the Logic Seminar met every Tuesday, 2:30-3:20 PM, in 307 Boucke. New this semester was a weekly Logic Lunch.

Spring 2000

Fall 1999

Spring 1999

Steve was out of town on leave for spring 1999, so the Penn State Logic Seminar was dormant.

Fall 1998

Spring 1998