| 09:15am - 09:30am | Registration | |
| 09:30am - 10:30am | Distinguished Visitor Lecture Series: | Theodore A. Slaman University of California, Berkeley, USA |
| 10:30am - 11:00am | Group Photo & Coffee Break | |
| 11:00am - 12:00pm | Uniform Martin's conjecture, locally | Vittorio Bard Università Degli Studi Di Torino, Italy |
| 12:00pm - 02:00pm | Lunch Reception at IMS | |
| 02:00pm - 03:00pm | Tutorial on hyperarithmetic sets and computable structure theory | Antonio Montalban University of California, Berkeley, USA |
| 03:00pm - 03:30pm | Coffee Break | |
| 03:30pm - 04:30pm | Tutorial on hyperarithmetic sets and computable structure theory | Antonio Montalban University of California, Berkeley, USA |
| 09:15am - 09:30am | Registration | |
| 09:30am - 10:30am | Turing degrees of hyperjumps | Stephen G. Simpson Vanderbilt University, USA |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | Foundations of online model theory (PDF) | Rod Downey Victoria University of Wellington, NZ |
| 12:00pm - 02:00pm | Lunch Break | |
| 02:00pm - 03:00pm | Tutorial on hyperarithmetic sets and computable structure theory | Antonio Montalban University of California, Berkeley, USA |
| 03:00pm - 03:30pm | Coffee Break | |
| 03:30pm - 04:30pm | Tutorial on hyperarithmetic sets and computable structure theory | Antonio Montalban University of California, Berkeley, USA |
| 09:15am - 09:30am | Registration | |
| 09:30am - 10:30am | BQO-Wadge degrees on nonseparable ultrametric spaces and computability on uncountable cardinals | Takayuki Kihara Nagoya University, Japan |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | Caristi's theorem and approximating π11 comprehension | Henry Towsner University of Pennsylvania, USA |
| 12:00pm - 02:00pm | Lunch Break | |
| 02:00pm - 03:00pm | SRT22 vs RT22 in ω-models (PDF) | Benoît Monin LACL, Créteil University, France |
| 09:15am - 09:30am | Registration | |
| 09:30am - 10:30am | Distinguished Visitor Lecture Series: | Theodore A. Slaman University of California, Berkeley, USA |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | True stages and hyperarithmetic isomorphisms | Noam Greenberg Victoria University of Wellington, New Zealand |
| 09:15am - 09:30am | Registration | |
| 09:30am - 10:30am | The enumeration degrees: an overview (PDF) | Mariya Soskova University of Wisconsin–Madison, USA |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | Relativizing to an enumeration oracle (PDF) | Joe Miller University of Wisconsin–Madison, USA |
| 12:00pm - 02:00pm | Lunch Break | |
| 02:00pm - 03:00pm | On Σ-preorderings over the reals (PDF) | Andrey Morozov Sobolev Institute of Mathematics, Novosibirsk State University, Russia |
| 03:00pm - 03:30pm | Coffee Break | |
| 03:30pm - 04:30pm | Coding in graphs and linear orderings (PDF) | Alexandra A. Soskova Sofia University, Bulgaria |
| 09:15am - 09:30am | Registration | |
| 09:30am - 10:30am | A completeness criterion for Borel sets | Adam Day Victoria University of Wellington, New Zealand |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | Determined Borel sets and measurability | Linda Brown Westrick Pennsylvania State University, USA |
| 09:15am - 09:30am | Registration | |
| 09:30am - 10:30am | Σ11 in every real in a Σ11 class or reals is Σ11 | Richard A. Shore Cornell University, USA |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | Decision problems in Borel combinatorics | Su Gao University of North Texas , USA |
| 12:00pm - 02:00pm | Lunch Break | |
| 02:00pm - 03:00pm | The implicitly constructible universe (PDF) | Marcia Groszek Dartmouth College, USA |
| 03:00pm - 03:30pm | Coffee Break | |
| 03:30pm - 04:30pm | Randomness notions for infinite time Turing machines (PDF) | Philipp Schlicht University of Bristol, UK |
| 04:30pm - 05:30pm | Measurable Hall's theorem for actions of abelian groups (PDF) | Marcin Sabok McGill University, Canada |
| 09:15am - 09:30am | Registration | |
| 09:30am - 10:30am | Polishable equivalence relations | Slawomir Solecki Cornell University, USA |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | Definable unions of smooth equivalence relations (PDF) | Stephen Jackson University of North Texas, USA |
| 12:00pm - 02:00pm | Lunch Break | |
| 02:00pm - 03:30pm | Tutorial on AD+ (Videos) | Paul Larson Miami University, USA |
| 03:30pm - 04:00pm | Coffee Break | |
| 04:00pm - 05:00pm | Effective metric Scott analysis (PDF) | Andre Nies The University of Auckland, New Zealand |
| 09:15am - 09:30am | Registration | |
| 09:30am - 10:30am | Distinguished Visitor Lecture Series: | W. Hugh Woodin Harvard University, USA and University of California, Berkeley, USA |
| 10:30am - 11:00am | Group Photo & Coffee Break | |
| 11:00am - 11:30am | Permutations of the integers, automorphisms of the Turing degrees, and arithmetically presentable groups (PDF) | Bjorn Kjos-Hansseen University of Hawai'i at Mānoa , USA |
| 11:30am - 02:00pm | Lunch Break | |
| 02:00pm - 03:30pm | Tutorial on AD+ (Videos) | Paul Larson Miami University, USA |
| 03:30pm - 04:30pm | Uniform reductions in computable structure theory (PDF) | Noah Schweber University of Wisconsin–Madison, USA |
| 06:30pm | Banquet Dinner Kent Ridge Guild House, Cluny and Dalvey Room Address: 9 Kent Ridge Drive, Singapore 119241 | |
| 09:15am - 09:30am | Registration | |
| 09:30am - 10:30am | Quasi-inductive definitions and generalised recursion in higher types | Philip Welch University of Bristol, UK |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | Indiscernibles for L[T3] (PDF) | Yizheng Zhu University of Chinese Academy of Sciences, China |
| 12:00pm - 02:00pm | Lunch Break | |
| 02:00pm - 03:00pm | Some applications of recursion theoretical methods to set theory (PDF) | Liang Yu Nanjing University, China |
| 09:15am - 09:30am | Registration | |
| 09:30am - 10:30am | Distinguished Visitor Lecture Series: | W. Hugh Woodin Harvard University, USA and University of California, Berkeley, USA |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | Are all singular cardinals born equal? The case of ℵω and ℵω2 | Menachem Magidor The Hebrew University of Jerusalem, Israel |
| 12:00pm - 02:00pm | Lunch Reception at IMS | |
| 02:00pm - 03:00pm | On the minimal size of a basis for uncountable linear order (PDF) | Liuzhen Wu Chinese Academy of Sciences, China |
| 09:15am - 09:30am | Registration | |
| 09:30am - 10:30am | Mouse pairs and Suslin cardinals | John R. Steel University of California, Berkeley, USA |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | Algebraic properties of elementary embeddings (PDF) | Scott Cramer California State University, San Bernardino , USA |
| 12:00pm - 02:00pm | Lunch Break | |
| 02:00pm - 03:30pm | Tutorial on AD+ (Videos) | Paul Larson Miami University, USA |
| 01:45pm - 02:00pm | Registration | |
| 02:00pm - 03:30pm | Tutorial on AD+ (Videos) | Paul Larson Miami University, USA |
| 03:30pm - 04:00pm | Coffee Break | |
| 04:00pm - 05:00pm | MM++ implies (*) | Ralf Schindler Universität Münster, Germany |
| 06:30pm - 07:30pm | Public Lecture: | Menachem Magidor The Hebrew University of Jerusalem, Israel |
| 09:15am - 09:30am | Registration | |
| 09:30am - 10:30am | On the preservation of very large cardinals under class forcing (PDF) | Joan Bagaria Universitat de Barcelona, Spain |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | Choiceless set-theoretic geology (PDF) | Toshimichi Usuba Waseda University, Japan |
| 12:00pm - 02:00pm | Lunch Break | |
| 02:00pm - 03:00pm | Extending filters to ultrafilters (Video) | Moti Gitik Tel Aviv University , Israel |