# 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 |