## Logic Day, April 24, 2013

On Wednesday April 24th, we will hold a Logic Day at the University of Chicago. Proposed schedule:

**J. Baldwin**, UIC

*Completeness and Categoricity (in power):*

Formalization without Foundationalism

Formalization without Foundationalism

2:30 p.m. in Ryerson 352

**E. Jaligot**, CNRS-University of Grenoble

*Generic elements*.

1:30 p.m. in Ryerson 352

**P. Koellner**, Harvard

*More on reflection principles*

11 a.m. in Ryerson 352

**M. Magidor**, Jerusalem

*The set theory of generalized logics*

5 p.m. in Stuart 104

**A. Razborov**, University of Chicago and TTI

*Flag algebras*

4 p.m. in Stuart 104

**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.