PSU Mark
Eberly College of Science Mathematics Department

Logic Seminar (2014 Archive)

The Penn State Logic Seminar traditionally and normally meets on Tuesdays, 2:30 to 3:45 PM. Our usual meeting place is 315 McAllister. For more precise information, please check the calendar below.
DateSpeaker(s)Title
14 Jan 2014Jan Reimann, Penn StateOrganizational Session
21 Jan 2014Jason Rute, Penn StateApplications of computable conditional probability to randomness
28 Jan 2014Adrian Maler, Penn StateAlgorithmic Randomness and Stochastic Processes II
4 Feb 2014Quinn Culver, Notre Dame UniversityAlgorithmically random probability measures
11 Feb 2014Jason Rute, Penn StateOn the computability of rates of metastable convergence
18 Feb 2014NO SEMINAR THIS WEEKNO SEMINAR THIS WEEK
25 Feb 2014Jan Reimann, Penn StateInvariant measures on homogeneous structures
4 Mar 2014Stephen G. Simpson, Pennsylvania State UniversityReverse mathematics, Young diagrams, and the ACC
18 Mar 2014John Pardo, Pennsylvania State UniversityRamsey-like Theorems and their Reverse Mathematical Properties
26 Mar 2014
MB106

4:00pm - 5:00pm
Kelty Allen, UC BerkeleyMartin-Löf random Brownian motion
1 Apr 2014Stephen G. Simpson, Pennsylvania State UniversityDegrees of unsolvability: a survey.
8 Apr 2014Jan Reimann, Penn StateInvariant measures on Triangle-free graphs
15 Apr 2014Jan Reimann, Penn StateInvariant measures on Triangle-free graphs (II)
18 Apr 2014
MB216

2:30pm - 3:45pm
Henry Towsner, University of PennsylvaniaAn Analytic Approach to Quasirandom (Hyper)graphs
22 Apr 2014Sankha Basu, Penn StateIntroduction to Kleene's realizability interpretation of intuitionistic number theory
29 Apr 2014Mushfeq Khan, University of Wisconsin - MadisonLebesgue density and \Pi^0_1 classes
26 Aug 2014 To Be Announced
2 Sep 2014 To Be Announced
9 Sep 2014 To Be Announced
16 Sep 2014 To Be Announced
23 Sep 2014 To Be Announced
30 Sep 2014 To Be Announced
7 Oct 2014 To Be Announced
14 Oct 2014 To Be Announced
21 Oct 2014 To Be Announced
28 Oct 2014 To Be Announced
4 Nov 2014 To Be Announced
11 Nov 2014 To Be Announced
18 Nov 2014 To Be Announced
25 Nov 2014 To Be Announced
2 Dec 2014 To Be Announced
9 Dec 2014 To Be Announced
16 Dec 2014 To Be Announced
Archives 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007

The slides for Simpson's Fall 2007 series of talks on mass problems are available.

See also the Penn State Logic Seminar Archive covering the years 1998 - 2006.