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, UKTheodore 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 |