| 09:00am - 10:15am | Introduction to geometric stability theory (PDF Link) (Video 1, Video 2, Video 3, Video 4, Video 5, Video 6, Video 7, Video 8, Video 9, Video 10 ) | Artem Chernikov University of California, Los Angeles, USA |
| 10:15am - 10:45am | --- Coffee Break --- | |
| 10:45am - 12:00pm | Introduction to geometric stability theory (PDF Link) (Video 1, Video 2, Video 3, Video 4, Video 5, Video 6, Video 7, Video 8, Video 9, Video 10 ) | Artem Chernikov University of California, Los Angeles, USA |
| 02:00pm | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 02:00pm - 04:00pm | Discussion | |
| 09:00am - 10:15am | Introduction to geometric stability theory (PDF Link) (Video 1, Video 2, Video 3, Video 4, Video 5, Video 6, Video 7, Video 8, Video 9, Video 10 ) | Artem Chernikov University of California, Los Angeles, USA |
| 10:15am - 10:45am | --- Coffee Break --- | |
| 10:45am - 12:00pm | Introduction to geometric stability theory (PDF Link) (Video 1, Video 2, Video 3, Video 4, Video 5, Video 6, Video 7, Video 8, Video 9, Video 10 ) | Artem Chernikov University of California, Los Angeles, USA |
| 02:00pm | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 02:00pm - 03:00pm | Computable model theory (Notes) | Steffen Lempp University of Wisconsin, USA |
| 03:00pm - 03:30pm | --- Coffee Break --- | |
| 03:30pm - 04:30pm | Computable model theory (Notes) | Steffen Lempp University of Wisconsin, USA |
| 09:00am - 10:15am | Introduction to geometric stability theory (PDF Link) (Video 1, Video 2, Video 3, Video 4, Video 5, Video 6, Video 7, Video 8, Video 9, Video 10 ) | Artem Chernikov University of California, Los Angeles, USA |
| 10:15am - 10:45am | --- Coffee Break --- | |
| 10:45am - 12:00pm | Introduction to geometric stability theory (PDF Link) (Video 1, Video 2, Video 3, Video 4, Video 5, Video 6, Video 7, Video 8, Video 9, Video 10 ) | Artem Chernikov University of California, Los Angeles, USA |
| 02:00pm | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 02:00pm - 04:00pm | Discussion | |
| 09:00am - 10:15am | Introduction to geometric stability theory (PDF Link) (Video 1, Video 2, Video 3, Video 4, Video 5, Video 6, Video 7, Video 8, Video 9, Video 10 ) | Artem Chernikov University of California, Los Angeles, USA |
| 10:15am - 10:45am | --- Coffee Break --- | |
| 10:45am - 12:00pm | Introduction to geometric stability theory (PDF Link) (Video 1, Video 2, Video 3, Video 4, Video 5, Video 6, Video 7, Video 8, Video 9, Video 10 ) | Artem Chernikov University of California, Los Angeles, USA |
| 02:00pm | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 02:00pm - 03:00pm | Computable model theory (Notes) | Steffen Lempp University of Wisconsin, USA |
| 03:00pm - 03:30pm | --- Coffee Break --- | |
| 03:30pm - 04:30pm | Computable model theory (Notes) | Steffen Lempp University of Wisconsin, USA |
| 09:00am - 10:15am | Introduction to geometric stability theory (PDF Link) (Video 1, Video 2, Video 3, Video 4, Video 5, Video 6, Video 7, Video 8, Video 9, Video 10 ) | Artem Chernikov University of California, Los Angeles, USA |
| 10:15am - 10:45am | --- Coffee Break --- | |
| 10:45am - 12:00pm | Introduction to geometric stability theory (PDF Link) (Video 1, Video 2, Video 3, Video 4, Video 5, Video 6, Video 7, Video 8, Video 9, Video 10 ) | Artem Chernikov University of California, Los Angeles, USA |
| 02:00pm | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 02:00pm - 04:00pm | Discussion | |
| 09:00am - 06:00pm | --- Public Holiday --- | |
| 09:00am - 10:30am | Computable model theory (Notes) | Steffen Lempp University of Wisconsin, USA |
| 10:30am - 11:00am | --- Coffee Break --- | |
| 11:00am - 12:15pm | Computable model theory (Notes) | Steffen Lempp University of Wisconsin, USA |
| 02:00pm | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 02:00pm - 03:15pm | Fragments of arithmetic and their models | Theodore A. Slaman The University of California, Berkeley, USA |
| 03:15pm - 03:45pm | --- Coffee Break --- | |
| 03:45pm - 05:00pm | Fragments of arithmetic and their models | Theodore A. Slaman The University of California, Berkeley, USA |
| 09:00am - 10:30am | Fragments of arithmetic and their models | Theodore A. Slaman The University of California, Berkeley, USA |
| 10:30am - 11:00am | --- Coffee Break --- | |
| 11:00am - 12:15pm | Fragments of arithmetic and their models | Theodore A. Slaman The University of California, Berkeley, USA |
| 12:15pm - 02:00pm | --- Lunch Reception at IMS --- | |
| 02:00pm | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 02:00pm - 04:00pm | Discussion | |
| 09:00am - 10:30am | Fragments of arithmetic and their models | Theodore A. Slaman The University of California, Berkeley, USA |
| 10:30am - 11:00am | --- Coffee Break --- | |
| 11:00am - 12:15pm | Fragments of arithmetic and their models | Theodore A. Slaman The University of California, Berkeley, USA |
| 02:00pm | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 02:00pm - 04:00pm | Discussion | |
| 09:00am - 10:30am | Fragments of arithmetic and their models | Theodore A. Slaman The University of California, Berkeley, USA |
| 10:30am - 11:00am | --- Coffee Break --- | |
| 11:00am - 12:15pm | Fragments of arithmetic and their models | Theodore A. Slaman The University of California, Berkeley, USA |
| 02:00pm | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 02:00pm - 04:00pm | Discussion | |
| 09:00am | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 09:00am - 10:15am | The universe of sets and Ultimate L | W. Hugh Woodin Harvard University, USA |
| 10:15am - 10:45am | --- Coffee Break --- | |
| 10:45am - 12:00pm | The universe of sets and Ultimate L | W. Hugh Woodin Harvard University, USA |
| 02:00pm - 04:00pm | Discussion | |
| 09:00am | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 09:00am - 10:15am | The universe of sets and Ultimate L | W. Hugh Woodin Harvard University, USA |
| 10:15am - 10:45am | --- Coffee Break --- | |
| 10:45am - 12:00pm | The universe of sets and Ultimate L | W. Hugh Woodin Harvard University, USA |
| 02:00pm - 04:00pm | Discussion | |
| 04:00pm - 04:30pm | Reductions on equivalence relations generated by universal sets | Ping Yu Nankai University, China |
| 04:30pm - 05:00pm | Introduction to ramsey algebras | Zu Yao Teoh Universiti Sains Malaysia, Malaysia |
| 05:00pm - 06:00pm | Definability of omega in models of n-definable elements | Bartosz Wcisło University of Warsaw, Poland |
| 09:00am | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 09:00am - 10:15am | The universe of sets and Ultimate L | W. Hugh Woodin Harvard University, USA |
| 10:15am - 10:45am | --- Coffee Break --- | |
| 10:45am - 12:00pm | The universe of sets and Ultimate L | W. Hugh Woodin Harvard University, USA |
| 04:30am - 05:30am | Modal categoricity | Jędrzej Kołodziejski University of Warsaw, Poland |
| 09:00am | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 09:00am - 10:15am | The universe of sets and Ultimate L | W. Hugh Woodin Harvard University, USA |
| 10:15am - 10:45am | --- Coffee Break --- | |
| 10:45am - 12:00pm | The universe of sets and Ultimate L | W. Hugh Woodin Harvard University, USA |
| 02:00pm - 04:00pm | Discussion | |
| 04:00pm - 04:30pm | Compositions of multi-valued functions | Jun Le Goh Cornell University, USA |
| 04:30pm - 05:00pm | Infinite time Turing machines, an introduction to gaps | Sabrina Ouazzani Paris-Est Créteil University, France |
| 05:00pm - 06:00pm | Modal categoricity | Jędrzej Kołodziejski University of Warsaw, Poland |
| 09:00am | Venue: Blk S17, Seminar Room #04-06, Department of Mathematics, Faculty of Science, NUS | |
| 09:00am - 10:15am | The universe of sets and Ultimate L | W. Hugh Woodin Harvard University, USA |
| 10:15am - 10:45am | --- Coffee Break --- | |
| 10:45am - 12:00pm | The universe of sets and Ultimate L | W. Hugh Woodin Harvard University, USA |
| 02:00pm - 04:00pm | Discussion | |
| 04:00pm - 05:00pm | Randomness in alpha-recursion | Paul-Elliot Angl University Paris-Est Créteil, France |
| 05:00pm - 05:30pm | Reverse mathematics and divisible Abelian groups. | Huishan Wu Nanyang Technological University, Singapore |