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

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.

Logic Seminar (2019)
DateRoomSpeaker(s)Title
08 Jan 2019 2:30pm - 4:00pm315 McAllisterUntitled
15 Jan 2019 2:30pm - 4:00pm315 McAllisterUntitled
22 Jan 2019 2:30pm - 4:00pm315 McAllisterOrganizational Meeting
29 Jan 2019 2:30pm - 4:00pm315 McAllisterLinda WestrickDegrees of unsolvability of continuous functions
05 Feb 2019 2:30pm - 4:00pm315 McAllisterLinda WestrickIntroduction to the Weihrauch lattice
12 Feb 2019 2:30pm - 4:00pm315 McAllister[cancelled-snow]
19 Feb 2019 2:30pm - 4:00pm315 McAllisterMingyang LiRandomness over computable metric space
26 Feb 2019 2:30pm - 4:00pm315 McAllisterMingyang LiRandomness over computable metric space
05 Mar 2019 2:30pm - 4:00pm315 McAllisterSpring break - no seminar
12 Mar 2019 2:30pm - 4:00pm315 McAllisterArno PaulyFinding points from positive information
19 Mar 2019 2:30pm - 4:00pm315 McAllisterJun Le GohA theorem of Halin and hyperarithmetic analysis
26 Mar 2019 2:30pm - 4:00pm315 McAllisterEd GreenSequences, limits, and differentiation in computable analysis
02 Apr 2019 2:30pm - 4:00pm315 McAllisterCaitlin LienkaemperYes, the "missing axiom" of matroid theory is lost forever
09 Apr 2019 2:30pm - 4:00pm315 McAllisterEd GreenSequences, limits, and differentiation in computable analysis
16 Apr 2019 2:30pm - 4:00pm315 McAllisterUntitled
23 Apr 2019 2:30pm - 4:00pm315 McAllisterUntitled
27 Aug 2019 2:30pm - 4:00pm315 McAllisterOrganizational Meeting
03 Sep 2019 2:30pm - 4:00pm315 McAllisterLinda WestrickIntroduction to well-quasi-orderings
10 Sep 2019 2:30pm - 4:00pm315 McAllisterUntitled
24 Sep 2019 2:30pm - 4:00pm315 McAllisterCaleb SpringerUntitled
01 Oct 2019 2:30pm - 4:00pm315 McAllisterRussell MillerUniform Computable Categoricity for Fields
08 Oct 2019 2:30pm - 4:00pm315 McAllisterCaitlin LienkaemperUntitled
15 Oct 2019 2:30pm - 4:00pm315 McAllisterLinda WestrickIntroduction to better-quasi-orderings
22 Oct 2019 2:30pm - 4:00pm315 McAllisterUntitled
29 Oct 2019 2:30pm - 4:00pm315 McAllisterUntitled
05 Nov 2019 2:30pm - 4:00pm315 McAllisterUntitled
12 Nov 2019 2:30pm - 4:00pm315 McAllisterUntitled
19 Nov 2019 2:30pm - 4:00pm315 McAllisterUntitled
26 Nov 2019 2:30pm - 4:00pm315 McAllisterTHANKSGIVING BREAK - NO SEMINAR
03 Dec 2019 2:30pm - 4:00pm315 McAllisterUntitled
10 Dec 2019 2:30pm - 4:00pm315 McAllisterUntitled
Archives 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.