| 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 University of California, Berkeley, USA |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Measure, dimension and computability | Theodore A. Slaman 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 University of California, Berkeley, USA |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Measure, dimension and computability | Theodore A. Slaman 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 University of California, Berkeley, USA |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Measure, dimension and computability | Theodore A. Slaman 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 University of California, Berkeley, USA |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Measure, dimension and computability | Theodore A. Slaman 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 University of California, Berkeley, USA |
| 10:45am - 11:15am | Coffee Break | |
| 11:15am - 12:30pm | Measure, dimension and computability | Theodore A. Slaman 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 | |