Logic Seminar

Fall 2018 Schedule

Tuesdays 9th period (4:05-4:55 pm) in Little 423

  • September 4: Organizational meeting
  • September 11:
  • September 18:
  • September 25:
  • October 2:
  • October 9:
  • October 16:
  • October 23:
  • October 30:
  • November 6:
  • November 13:
  • November 20:
  • November 27:
  • December 4: Last class on Tuesday

Spring 2018 Schedule

Fridays 9th period (4:05-4:55 pm) in Little 386

  • August 28: Organizational Meeting
  • January 19: Doug Cenzer, Computability and Differentiation in the Cantor Space
  • January 22 in the atrium: Linda Westrick, Computation and hierarchies in analysis
  • January 24 in the atrium: Dana Bartasova, Topological groups and Ramsey theory/li>
  • February 02: Jinda Zapletal, Prep for Seals
  • February 09: no seminar
  • February 16: John Hester, Automated Theorem Proving
  • February 20 (Wednesday): Philip Klein-Rodick, Borel Circle Squaring
  • March 02 at 4:05 pm: Andy Lewis-Pye, (Colloquium)
  • March 03-04: South Eastern Logic Symposium 2018
  • March 09: no seminar (spring break)
  • March 16: Francis Adams, Cardinal Invariants of Topologically Presented Graphs
  • March 23: Jindra Zapletal, Fragments of the Axiom of Choice
  • March 30:
  • April 06:
  • April 13:
  • April 20: no seminar (last day of classes)
Past Seminars Past conferences