1. Events
  3. Seminar
  4. Logic Seminar (2014)

Logic Seminar (2014)

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.

Logic Seminar (2014)
DateRoomSpeaker(s)Title
14 Jan 2014 2:30pm - 3:45pm315 McAllisterJan ReimannOrganizational Session
21 Jan 2014 2:30pm - 3:45pm315 McAllisterJason RuteApplications of computable conditional probability to randomness
28 Jan 2014 2:30pm - 3:45pm315 McAllisterAdrian MalerAlgorithmic Randomness and Stochastic Processes II
04 Feb 2014 2:30pm - 3:45pm315 McAllisterQuinn CulverAlgorithmically random probability measures
11 Feb 2014 2:30pm - 3:45pm315 McAllisterJason RuteOn the computability of rates of metastable convergence
18 Feb 2014 2:30pm - 3:45pm315 McAllisterNO SEMINAR THIS WEEKNO SEMINAR THIS WEEK
25 Feb 2014 2:30pm - 3:45pm315 McAllisterJan ReimannInvariant measures on homogeneous structures
04 Mar 2014 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonReverse mathematics, Young diagrams, and the ACC
18 Mar 2014 2:30pm - 3:45pm315 McAllisterJohn PardoRamsey-like Theorems and their Reverse Mathematical Properties
26 Mar 2014 4:00pm - 5:00pm106 McAllisterKelty AllenMartin-Löf random Brownian motion
01 Apr 2014 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonDegrees of unsolvability: a survey.
08 Apr 2014 2:30pm - 3:45pm315 McAllisterJan ReimannInvariant measures on Triangle-free graphs
15 Apr 2014 2:30pm - 3:45pm315 McAllisterJan ReimannInvariant measures on Triangle-free graphs (II)
18 Apr 2014 2:30pm - 3:45pm216 McAllisterHenry TowsnerAn Analytic Approach to Quasirandom (Hyper)graphs
22 Apr 2014 2:30pm - 3:45pm315 McAllisterSankha BasuIntroduction to Kleene's realizability interpretation of intuitionistic number theory
29 Apr 2014 2:30pm - 3:45pm315 McAllisterMushfeq KhanLebesgue density and \Pi^0_1 classes
26 Aug 2014 2:30pm - 3:45pm315 McAllisterOrganizational Meeting
02 Sep 2014 2:30pm - 3:45pm315 McAllisterStephen G. SimpsonAn introduction to reverse mathematics
09 Sep 2014 2:30pm - 3:45pm315 McAllisterJason RuteRandomness, Riesz Capacity, Brownian Motion, and Complexity
16 Sep 2014 2:30pm - 3:45pm315 McAllisterAdrian MalerTowards an Effective Theory of Levy Processes
23 Sep 2014 2:30pm - 3:45pm315 McAllisterJake PardoProving RT_2^2 doesn't imply WKL_0
30 Sep 2014 2:30pm - 3:45pm315 McAllisterJan ReimannAn Overview of Model Theory
07 Oct 2014 2:30pm - 3:45pm315 McAllisterSankha BasuThe Muchnik topos
14 Oct 2014 2:30pm - 3:45pm315 McAllisterManfred DenkerHausdorff dimension
21 Oct 2014 2:30pm - 3:45pm315 McAllisterJeremy AvigadUniform distribution and algorithmic randomness
28 Oct 2014 2:30pm - 3:45pm315 McAllisterJan ReimannContinuous Model Theory
04 Nov 2014 2:30pm - 3:45pm315 McAllisterJake PardoThe compactness theorem for continuous model theory
11 Nov 2014 2:30pm - 3:45pm315 McAllisterJake PardoThe compactness theorem for continuous model theory (II)
18 Nov 2014 2:30pm - 3:45pm315 McAllisterJason RuteConnectives and Constructions in Model Theory for Metric Structures
02 Dec 2014 2:30pm - 3:45pm315 McAllisterWillem FouchéGelfand duality and Ramsey theory
03 Dec 2014 3:35pm - 4:25pm315 McAllisterWillem FouchéFourier properties of algorithmically random Brownian motion
09 Dec 2014 2:30pm - 3:45pm315 McAllisterUntitled
16 Dec 2014 2:30pm - 3:45pm315 McAllisterUntitled
Archives 2020, 2019, 2018, 2017, 2016, 2015, 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.