Logic Seminar (2019)
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 |
---|---|---|---|
08 Jan 2019 2:30pm - 4:00pm | 315 McAllister | Untitled | |
15 Jan 2019 2:30pm - 4:00pm | 315 McAllister | Untitled | |
22 Jan 2019 2:30pm - 4:00pm | 315 McAllister | Organizational Meeting | |
29 Jan 2019 2:30pm - 4:00pm | 315 McAllister | Linda Westrick | Degrees of unsolvability of continuous functions |
05 Feb 2019 2:30pm - 4:00pm | 315 McAllister | Linda Westrick | Introduction to the Weihrauch lattice |
12 Feb 2019 2:30pm - 4:00pm | 315 McAllister | [cancelled-snow] | |
19 Feb 2019 2:30pm - 4:00pm | 315 McAllister | Mingyang Li | Randomness over computable metric space |
26 Feb 2019 2:30pm - 4:00pm | 315 McAllister | Mingyang Li | Randomness over computable metric space |
05 Mar 2019 2:30pm - 4:00pm | 315 McAllister | Spring break - no seminar | |
12 Mar 2019 2:30pm - 4:00pm | 315 McAllister | Arno Pauly | Finding points from positive information |
19 Mar 2019 2:30pm - 4:00pm | 315 McAllister | Jun Le Goh | A theorem of Halin and hyperarithmetic analysis |
26 Mar 2019 2:30pm - 4:00pm | 315 McAllister | Ed Green | Sequences, limits, and differentiation in computable analysis |
02 Apr 2019 2:30pm - 4:00pm | 315 McAllister | Caitlin Lienkaemper | Yes, the "missing axiom" of matroid theory is lost forever |
09 Apr 2019 2:30pm - 4:00pm | 315 McAllister | Ed Green | Sequences, limits, and differentiation in computable analysis |
16 Apr 2019 2:30pm - 4:00pm | 315 McAllister | Untitled | |
23 Apr 2019 2:30pm - 4:00pm | 315 McAllister | Untitled | |
27 Aug 2019 2:30pm - 4:00pm | 315 McAllister | Organizational Meeting | |
03 Sep 2019 2:30pm - 4:00pm | 315 McAllister | Linda Westrick | Introduction to well-quasi-orderings |
10 Sep 2019 2:30pm - 4:00pm | 315 McAllister | Untitled | |
24 Sep 2019 2:30pm - 4:00pm | 315 McAllister | Caleb Springer | On the undecidability of infinite extensions of the rationals |
01 Oct 2019 2:30pm - 4:00pm | 315 McAllister | Russell Miller | Uniform Computable Categoricity for Fields |
08 Oct 2019 2:30pm - 4:00pm | 315 McAllister | Caitlin Lienkaemper | Fixed parameter tractability via Robertson-Seymour |
15 Oct 2019 2:30pm - 4:00pm | 315 McAllister | Linda Westrick | Introduction to better-quasi-orderings |
22 Oct 2019 2:30pm - 4:00pm | 315 McAllister | Jan Reimann | The Robertson-Seymour graph minor theorem |
29 Oct 2019 2:30pm - 4:00pm | 315 McAllister | Mingyang Li | On the maximal linear extension principle for wqo's |
05 Nov 2019 2:30pm - 4:00pm | 315 McAllister | Nathanael Ackerman | Computable representations of exchangeable graphs |
12 Nov 2019 2:30pm - 4:00pm | 315 McAllister | Henry Towsner | Nonstandard analysis and new standard proof of the containers theorem |
19 Nov 2019 2:30pm - 4:00pm | 315 McAllister | Untitled | |
26 Nov 2019 2:30pm - 4:00pm | 315 McAllister | THANKSGIVING BREAK - NO SEMINAR | |
03 Dec 2019 2:30pm - 4:00pm | 315 McAllister | Linda Westrick | Fraisse's conjecture in Pi11 comprehension |
10 Dec 2019 2:30pm - 4:00pm | 315 McAllister | Jan Reimann | Embedding an analytic equivalence relation in the transitive closure of a Borel relation |