- For 18 - 19 June (Lectures and discussion session) and 25 - 29 June 2018 (Lectures)

**Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS**

For discussion sessions on 25 - 29 June 2018 and 2 - 6 July 2018

**Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS** - For 20 - 22 June & 2 - 6 July 2018 (Lectures)

**IMS Auditorium**

09:15am | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS (AM & PM) | |

09:15am - 10:30am | Generalizing Gödel’s Constructible Universe | W. Hugh Woodin Harvard University, USA |

10:30am - 11:00am | Coffee Break | |

11:00am - 12:15pm | Generalizing Gödel’s Constructible Universe | W. Hugh Woodin Harvard University, USA |

12:15pm - 02:00pm | Lunch Break | |

02:00pm - 04:00pm | Discussion |

09:30am | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS (AM & PM) | |

09:30am - 10:45am | Generalizing Gödel’s Constructible Universe | W. Hugh Woodin Harvard University, USA |

10:45am - 11:15am | Coffee Break | |

11:15am - 12:30pm | Generalizing Gödel’s Constructible Universe | W. Hugh Woodin Harvard University, USA |

12:30pm - 02:00pm | Lunch Break | |

02:00pm - 04:00pm | Discussion |

09:30am | Venue: IMS Auditorium | |

09:30am - 10:45am | Generalizing Gödel’s Constructible Universe | W. Hugh Woodin Harvard University, USA |

10:45am - 11:15am | Group Photo & Coffee Break | |

11:15am - 12:30pm | Generalizing Gödel’s Constructible Universe | W. Hugh Woodin Harvard University, USA |

12:30pm - 02:00pm | Lunch Reception at IMS | |

02:00pm | Venue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS | |

02:00pm - 04:00pm | Discussion |

09:30am | Venue: IMS Auditorium | |

09:30am - 10:45am | Generalizing Gödel’s Constructible Universe | W. Hugh Woodin Harvard University, USA |

10:45am - 11:15am | Coffee Break | |

11:15am - 12:30pm | Generalizing Gödel’s Constructible Universe | W. Hugh Woodin Harvard University, USA |

12:30pm - 02:00pm | Lunch Break | |

02:00pm | Venue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS | |

02:00pm - 04:00pm | Discussion |

09:30am | Venue: IMS Auditorium | |

09:30am - 10:45am | Generalizing Gödel’s Constructible Universe | W. Hugh Woodin Harvard University, USA |

10:45am - 11:15am | Coffee Break | |

11:15am - 12:30pm | Generalizing Gödel’s Constructible Universe | W. Hugh Woodin Harvard University, USA |

12:30pm - 02:00pm | Lunch Break |

09:30am | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |

09:30am - 10:45am | Measure, dimension and computability | Theodore A. Slaman The University of California, Berkeley, USA |

10:45am - 11:15am | Coffee Break | |

11:15am - 12:30pm | Measure, dimension and computability | Theodore A. Slaman The University of California, Berkeley, USA |

12:30pm - 02:00pm | Lunch Break | |

02:00pm | Venue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS | |

02:00pm - 04:00pm | Discussion | |

04:00pm - 04:30pm | Some reductions between theorems around ATR | Jun Le Goh Cornell University, USA |

04:30pm - 05:00pm | Two consequences of the hugeness | Jinglun Cai University of Barcelona, Spain |

09:30am | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |

09:30am - 10:45am | Measure, dimension and computability | Theodore A. Slaman The University of California, Berkeley, USA |

10:45am - 11:15am | Coffee Break | |

11:15am - 12:30pm | Measure, dimension and computability | Theodore A. Slaman The University of California, Berkeley, USA |

12:30pm - 02:00pm | Lunch Break | |

02:00pm | Venue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS | |

02:00pm - 04:00pm | Discussion |

09:30am | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |

09:30am - 10:45am | Measure, dimension and computability | Theodore A. Slaman The University of California, Berkeley, USA |

10:45am - 11:15am | Coffee Break | |

11:15am - 12:30pm | Measure, dimension and computability | Theodore A. Slaman The University of California, Berkeley, USA |

12:30pm - 02:00pm | Lunch Break | |

02:00pm | Venue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS | |

02:00pm - 04:00pm | Discussion |

09:30am | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |

09:30am - 10:45am | Measure, dimension and computability | Theodore A. Slaman The University of California, Berkeley, USA |

10:45am - 11:15am | Coffee Break | |

11:15am - 12:30pm | Measure, dimension and computability | Theodore A. Slaman The University of California, Berkeley, USA |

12:30pm - 02:00pm | Lunch Break | |

02:00pm | Venue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS | |

02:00pm - 04:00pm | Discussion | |

04:00pm - 05:00pm | Factorials of infinite cardinals in ZF | Guozhen Shen Chinese Academy of Sciences, China |

05:00pm - 06:00pm | Factorials of infinite cardinals and finite-to-one maps | Jiachen Yuan Chinese Academy of Sciences, China |

09:30am | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |

09:30am - 10:45am | Measure, dimension and computability | Theodore A. Slaman The University of California, Berkeley, USA |

10:45am - 11:15am | Coffee Break | |

11:15am - 12:30pm | Measure, dimension and computability | Theodore A. Slaman The University of California, Berkeley, USA |

12:30pm - 02:00pm | Lunch Break | |

02:00pm | Venue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS | |

02:00pm - 04:00pm | Discussion |

09:30am | Venue: IMS Auditorium | |

09:30am - 10:45am | Model theory of finite and pseudo-finite fields (PDF) | Zoé Chatzidakis Ecole Normale Supérieure, France |

10:45am - 11:15am | Coffee Break | |

11:15am - 12:30pm | Model theory of finite and pseudo-finite fields (PDF) | Zoé Chatzidakis Ecole Normale Supérieure, France |

12:30pm - 02:00pm | Lunch Break | |

02:00pm | Venue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS | |

02:00pm - 04:00pm | Discussion | |

04:00pm - 04:30pm | Non-measurability of the algebraic sums of sets of real numbers | Ziemowit Kostana University of Warsaw & Institute of Mathematics, Czech Academy of Sciences, Poland |

04:30pm - 05:30pm | Interpolative fusions | Minh Chieu Tran University of Illinois at Urbana Champaign, USA |

09:30am | Venue: IMS Auditorium | |

09:30am - 10:45am | Model theory of finite and pseudo-finite fields (PDF) | Zoé Chatzidakis Ecole Normale Supérieure, France |

10:45am - 11:15am | Coffee Break | |

11:15am - 12:30pm | Model theory of finite and pseudo-finite fields (PDF) | Zoé Chatzidakis Ecole Normale Supérieure, France |

12:30pm - 02:00pm | Lunch Break | |

02:00pm | Venue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS | |

02:00pm - 04:00pm | Discussion |

09:30am | Venue: IMS Auditorium | |

09:30am - 10:45am | Model theory of finite and pseudo-finite fields (PDF) | Zoé Chatzidakis Ecole Normale Supérieure, France |

10:45am - 11:15am | Coffee Break | |

11:15am - 12:30pm | Model theory of finite and pseudo-finite fields (PDF) | Zoé Chatzidakis Ecole Normale Supérieure, France |

12:30pm - 02:00pm | Lunch Break | |

02:00pm | Venue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS | |

02:00pm - 04:00pm | Discussion |

09:30am | Venue: IMS Auditorium | |

09:30am - 10:45am | Model theory of finite and pseudo-finite fields (PDF) | Zoé Chatzidakis Ecole Normale Supérieure, France |

10:45am - 11:15am | Coffee Break | |

11:15am - 12:30pm | Model theory of finite and pseudo-finite fields (PDF) | Zoé Chatzidakis Ecole Normale Supérieure, France |

12:30pm - 02:00pm | Lunch Break | |

02:00pm | Venue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS | |

02:00pm - 04:00pm | Discussion |

09:30am | Venue: IMS Auditorium | |

09:30am - 10:45am | Model theory of finite and pseudo-finite fields (PDF) | Zoé Chatzidakis Ecole Normale Supérieure, France |

10:45am - 11:15am | Coffee Break | |

11:15am - 12:30pm | Model theory of finite and pseudo-finite fields (PDF) | Zoé Chatzidakis Ecole Normale Supérieure, France |

12:30pm - 02:00pm | Lunch Break | |

02:00pm | Venue: Blk S17, Seminar Room #05-12, Department of Mathematics, Faculty of Science, NUS | |

02:00pm - 04:00pm | Discussion |