Logic Seminar (2010)
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 |
---|---|---|---|
26 Jan 2010 2:30pm - 3:45pm | 315 McAllister | Nicholas Rupprecht | "Universal" Schnorr null sets |
02 Feb 2010 2:30pm - 3:45pm | 315 McAllister | George Barmpalias | Randomness, partial relativization, and domination |
16 Feb 2010 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Invariant measures, computability, and reverse mathematics |
23 Feb 2010 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Tiling problems and 2-dimensional symbolic dynamics |
02 Mar 2010 2:30pm - 3:45pm | 315 McAllister | Alexander Shen | Everywhere complex sequences and forbidden patterns |
16 Mar 2010 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Old and New Results on Algorithmic Equivalence Relations |
23 Mar 2010 2:30pm - 3:45pm | 315 McAllister | Alexander Shen | Martin-Lof randomness with respect to arbitrary measures and randomness deficiencies |
30 Mar 2010 2:30pm - 3:45pm | 315 McAllister | Joseph S. Miller | Randomness and differentiability |
06 Apr 2010 2:30pm - 3:45pm | 315 McAllister | Alexander Shen | Everywhere complex sequences and the probabilistic method |
13 Apr 2010 2:30pm - 3:45pm | 315 McAllister | John Clemens | Injective selectors, pointed trees, and randomness |
20 Apr 2010 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Neutral measures, continuous degrees, and the Brouwer fixed point theorem |
27 Apr 2010 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | An introduction to effective Hausdorff dimension |
24 Aug 2010 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Organizational meeting |
31 Aug 2010 2:30pm - 3:45pm | 315 McAllister | Stephen G. Simpson | Symbolic dynamics: entropy = dimension = complexity |
07 Sep 2010 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Introduction to Kolmogorov complexity and effective Hausdorff dimension |
14 Sep 2010 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Kolmogorov complexity and geometric measure theory |
21 Sep 2010 2:30pm - 3:45pm | 315 McAllister | Sankha Basu, Phil Hudelson, Noopur Pathak | Short presentations |
28 Sep 2010 2:30pm - 3:45pm | 315 McAllister | Cristobal Rojas | Ergodic-theoretic characterizations of randomness |
05 Oct 2010 2:30pm - 3:45pm | 315 McAllister | Jan Reimann | Kolmogorov complexity and geometric measure theory, part 2 |
12 Oct 2010 2:30pm - 3:45pm | 315 McAllister | Phil Hudelson | Mass problems and initial segment complexity |
19 Oct 2010 2:30pm - 3:45pm | 315 McAllister | Manfred Denker | An algorithm to compute pseudo-random numbers in dynamical systems |
26 Oct 2010 2:30pm - 3:45pm | 315 McAllister | Adrian Maler | Computable functions of a computable real variable |
02 Nov 2010 2:30pm - 3:45pm | 315 McAllister | Noopur Pathak | Randomness and differentiability |
09 Nov 2010 2:30pm - 3:45pm | 315 McAllister | Sankha Basu | Sheaf semantics for higher-order intuitionistic logic |
16 Nov 2010 2:30pm - 3:45pm | 315 McAllister | Jeremy Avigad | Inverting the Furstenberg correspondence |
30 Nov 2010 2:30pm - 3:45pm | 315 McAllister | Daniel Thompson | Topological pressure for non-compact sets, Kamae entropy and Kolmogorov complexity |
07 Dec 2010 2:30pm - 3:45pm | 315 McAllister | Adam Day | The power of random strings |