Logic Day, April 24, 2013

On Wednesday, April 24th, 2013 we will hold the first Logic Day at the University of Chicago. The schedule is:

  • 10:30 a.m. Coffee, Ryerson 352 (the Barn)
  • 11 a.m. P. Koellner, "More on reflection principles"

  • Noon-1:30pm: Lunch ordered in, CS conference room
    kindly RSVP if you'd like us to provide lunch for you

  • 1:30 p.m. E. Jaligot, "Generic elements"
  • 2:30 p.m. J. Baldwin, "Completeness and Categoricity (in power): Formalism without foundationalism"

  • 3:30-4 p.m. Coffee break and move to Stuart 104

  • 4 p.m. A. Razborov, "Flag algebras"
  • 5 p.m. M. Magidor, "The set theory of generalized logics"

    We will go out for an informal dinner at a local restaurant following the conference.

  • Abstracts

    Venue: University of Chicago. The talks of Koellner, Jaligot and Baldwin are in Ryerson 352 (the Barn) and the talks of Razborov and Magidor are in Stuart Hall 104. Lunch will be in the Computer Science conference room in Ryerson.

    The talks at this event are meant to cover a broad spectrum of topics and should be of interest not only to logicians but also to other mathematicians, philosophers, and theoretical computer scientists.

    If you would like to be on our mailing list for logic events, look for the logic-announce list at lists.uchicago.edu or write to the author of this page.

    Image source