Logic Seminar

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
DateRoomSpeaker(s)Title
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 SpringerOn the undecidability of infinite extensions of the rationals
01 Oct 2019 2:30pm - 4:00pm315 McAllisterRussell MillerUniform Computable Categoricity for Fields
08 Oct 2019 2:30pm - 4:00pm315 McAllisterCaitlin LienkaemperFixed parameter tractability via Robertson-Seymour
15 Oct 2019 2:30pm - 4:00pm315 McAllisterLinda WestrickIntroduction to better-quasi-orderings
22 Oct 2019 2:30pm - 4:00pm315 McAllisterJan ReimannThe Robertson-Seymour graph minor theorem
29 Oct 2019 2:30pm - 4:00pm315 McAllisterMingyang LiOn the maximal linear extension principle for wqo's
05 Nov 2019 2:30pm - 4:00pm315 McAllisterNathanael AckermanComputable representations of exchangeable graphs
12 Nov 2019 2:30pm - 4:00pm315 McAllisterHenry TowsnerNonstandard analysis and new standard proof of the containers theorem
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 McAllisterLinda WestrickFraisse's conjecture in Pi11 comprehension
10 Dec 2019 2:30pm - 4:00pm315 McAllisterJan ReimannEmbedding an analytic equivalence relation in the transitive closure of a Borel relation
Archives 2020, 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.