| 09:30am - 10:45am | Real numbers and measures for which they are random | Theodore A. Slaman University of California, Berkeley, USA |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Real numbers and measures for which they are random | Theodore A. Slaman University of California, Berkeley, USA |
| 12:30pm - 02:00pm | Lunch Break | |
| 02:00pm - 04:00pm | Discussion | |
| 09:30am - 10:45am | Real numbers and measures for which they are random | Theodore A. Slaman University of California, Berkeley, USA |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Real numbers and measures for which they are random | Theodore A. Slaman University of California, Berkeley, USA |
| 12:30pm - 02:00pm | Lunch Break | |
| 02:00pm - 04:00pm | Discussion | |
| 09:30am - 10:45am | Real numbers and measures for which they are random | Theodore A. Slaman University of California, Berkeley, USA |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Real numbers and measures for which they are random | Theodore A. Slaman University of California, Berkeley, USA |
| 12:30pm - 02:00pm | Lunch Break | |
| 02:00pm - 04:00pm | Discussion | |
| 09:30am - 10:45am | Real numbers and measures for which they are random | Theodore A. Slaman University of California, Berkeley, USA |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Real numbers and measures for which they are random | Theodore A. Slaman University of California, Berkeley, USA |
| 12:30pm - 02:00pm | Lunch Break | |
| 02:00pm - 04:00pm | Discussion | |
| 09:30am - 10:45am | Real numbers and measures for which they are random | Theodore A. Slaman University of California, Berkeley, USA |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Real numbers and measures for which they are random | Theodore A. Slaman University of California, Berkeley, USA |
| 12:30pm - 02:00pm | Lunch Break | |
| 02:00pm - 04:00pm | Discussion | |
| 09:30am - 10:45am | Model theory of fields and local rings | Angus MacIntyre Queen Mary University of London, UK |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Model theory of fields and local rings | Angus MacIntyre Queen Mary University of London, UK |
| 12:30pm - 02:00pm | Lunch Break | |
| 02:00pm - 04:00pm | Discussion | |
| 04:00pm - 04:30pm | Generalizations of Hall's theorem in reverse mathematics | Noah Hughes University of Connecticut, USA |
| 04:40pm - 05:30pm | Posner-Robinson for hyperjumps of Turing degrees | Hayden Jananthan Vanderbilt University Department of Mathematics, USA |
| 09:30am - 10:45am | Model theory of fields and local rings | Angus MacIntyre Queen Mary University of London, UK |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Model theory of fields and local rings | Angus MacIntyre Queen Mary University of London, UK |
| 12:30pm - 02:00pm | Lunch Break | |
| 02:00pm - 04:00pm | Discussion | |
| 04:00pm - 04:50pm | A model theoretic adic space | Jinhe Ye University of Notre Dame, USA |
| 09:30am - 10:45am | Model theory of fields and local rings | Angus MacIntyre Queen Mary University of London, UK |
| 10:45am - 11:15am | Coffee Break and Group Photo | |
| 11:15am - 12:30pm | Model theory of fields and local rings | Angus MacIntyre Queen Mary University of London, UK |
| 12:30pm - 02:00pm | Lunch Reception at IMS | |
| 02:00pm - 04:00pm | Topic: The Role of Foundational Studies in Mathematics (Video)
Panelists: Angus MacIntyre, Queen Mary University of London, UK Theodore A. Slaman, University of California, Berkeley, USA W. Hugh Woodin, Harvard University, USA | |
| 09:30am - 10:45am | Model theory of fields and local rings | Angus MacIntyre Queen Mary University of London, UK |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Model theory of fields and local rings | Angus MacIntyre Queen Mary University of London, UK |
| 12:30pm - 02:00pm | Lunch Break | |
| 02:00pm - 04:00pm | Discussion | |
| 04:15pm - 05:30pm | The remarkable expressivity of first-order logic in profinite groups | Andre Nies The University of Auckland, New Zealand |
| 09:30am - 10:45am | Model theory of fields and local rings | Angus MacIntyre Queen Mary University of London, UK |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Model theory of fields and local rings | Angus MacIntyre Queen Mary University of London, UK |
| 12:30pm - 02:00pm | Lunch Break | |
| 02:00pm - 04:00pm | Discussion | |
| 04:00pm - 04:50pm | Computable quotient presentations of nonstandard models of arithmetic | Michał Tomasz Godziszewski University of Warsaw, Poland |
| 09:30am - 10:45am | Ultimate L (PDF) | W. Hugh Woodin Harvard University, USA |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Ultimate L (PDF) | W. Hugh Woodin Harvard University, USA |
| 12:30pm - 02:00pm | Lunch Break | |
| 02:00pm - 04:00pm | Discussion | |
| 04:00pm - 04:50pm | Descending sequences of hyperdegrees and the second incompleteness theorem | Patrick Lutz University of California, Berkeley, USA |
| 09:30am - 10:45am | Ultimate L (PDF) | W. Hugh Woodin Harvard University, USA |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Ultimate L (PDF) | W. Hugh Woodin Harvard University, USA |
| 12:30pm - 02:00pm | Lunch Break | |
| 02:00pm - 04:00pm | Discussion | |
| 04:00pm - 05:15pm | Random sequences of quantum bits | Andre Nies The University of Auckland, New Zealand |