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.
Date | Room | Speaker(s) | Title |
---|---|---|---|
14 Jan 2014 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Organizational Session |
21 Jan 2014 2:30pm - 3:45pm | 315 McAllister | Jason Rute | Applications of computable conditional probability to randomness |
28 Jan 2014 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Algorithmic Randomness and Stochastic Processes II |
04 Feb 2014 2:30pm - 3:45pm | 315 McAllister | Quinn Culver | Algorithmically random probability measures |
11 Feb 2014 2:30pm - 3:45pm | 315 McAllister | Jason Rute | On the computability of rates of metastable convergence |
18 Feb 2014 2:30pm - 3:45pm | 315 McAllister | NO SEMINAR THIS WEEK | NO SEMINAR THIS WEEK |
25 Feb 2014 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Invariant measures on homogeneous structures |
04 Mar 2014 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Reverse mathematics, Young diagrams, and the ACC |
18 Mar 2014 2:30pm - 3:45pm | 315 McAllister | John Pardo | Ramsey-like Theorems and their Reverse Mathematical Properties |
26 Mar 2014 4:00pm - 5:00pm | 106 McAllister | Kelty Allen | Martin-Löf random Brownian motion |
01 Apr 2014 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Degrees of unsolvability: a survey. |
08 Apr 2014 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Invariant measures on Triangle-free graphs |
15 Apr 2014 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Invariant measures on Triangle-free graphs (II) |
18 Apr 2014 2:30pm - 3:45pm | 216 McAllister | Henry Towsner | An Analytic Approach to Quasirandom (Hyper)graphs |
22 Apr 2014 2:30pm - 3:45pm | 315 McAllister | Sankha Basu | Introduction to Kleene's realizability interpretation of intuitionistic number theory |
29 Apr 2014 2:30pm - 3:45pm | 315 McAllister | Mushfeq Khan | Lebesgue density and \Pi^0_1 classes |
26 Aug 2014 2:30pm - 3:45pm | 315 McAllister | Organizational Meeting | |
02 Sep 2014 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | An introduction to reverse mathematics |
09 Sep 2014 2:30pm - 3:45pm | 315 McAllister | Jason Rute | Randomness, Riesz Capacity, Brownian Motion, and Complexity |
16 Sep 2014 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Towards an Effective Theory of Levy Processes |
23 Sep 2014 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | Proving RT_2^2 doesn't imply WKL_0 |
30 Sep 2014 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | An Overview of Model Theory |
07 Oct 2014 2:30pm - 3:45pm | 315 McAllister | Sankha Basu | The Muchnik topos |
14 Oct 2014 2:30pm - 3:45pm | 315 McAllister | Manfred Denker | Hausdorff dimension |
21 Oct 2014 2:30pm - 3:45pm | 315 McAllister | Jeremy Avigad | Uniform distribution and algorithmic randomness |
28 Oct 2014 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Continuous Model Theory |
04 Nov 2014 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | The compactness theorem for continuous model theory |
11 Nov 2014 2:30pm - 3:45pm | 315 McAllister | Jake Pardo | The compactness theorem for continuous model theory (II) |
18 Nov 2014 2:30pm - 3:45pm | 315 McAllister | Jason Rute | Connectives and Constructions in Model Theory for Metric Structures |
02 Dec 2014 2:30pm - 3:45pm | 315 McAllister | Willem Fouché | Gelfand duality and Ramsey theory |
03 Dec 2014 3:35pm - 4:25pm | 315 McAllister | Willem Fouché | Fourier properties of algorithmically random Brownian motion |
09 Dec 2014 2:30pm - 3:45pm | 315 McAllister | Untitled | |
16 Dec 2014 2:30pm - 3:45pm | 315 McAllister | Untitled |