| 09:20am - 09:30am | Registration | |
| 09:30am - 10:30am | Roots of polynomials in fields of generalized power series | Julia Knight University of Notre Dame, USA |
| 10:30am - 11:00am | Group Photo & Coffee Break | |
| 11:00am - 12:00pm | Computability and model-theoretic aspects of families of sets and its generalizations | Iskander Sh. Kalimullin Kazan Federal University, Russia |
| 12:00pm - 02:00pm | Lunch Break | |
| 02:00pm - 05:00pm | Activities held in conjunction with Workshop on Computability Theory and the Foundations of Mathematics (4 - 8 September 2017) | |
| 09:20am - 09:30am | Registration | |
| 09:30am - 10:30am | The reverse mathematics of model theory and first-order principles (PDF) | Denis Hirschfeldt The University of Chicago, USA |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | Weakly homogeneous structures (PDF) | Douglas Cenzer University of Florida, USA |
| 12:00pm - 02:00pm | Lunch Reception at IMS | |
| 09:50am - 10:00am | Registration | |
| 10:00am - 12:00pm | Research discussion | |
| 09:20am - 09:30am | Registration | |
| 09:30am - 10:30am | Some computability theory of finitely generated structures | Matthew Harrison-Trainer University of Waterloo, Canada |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | Ordered abelian groups, generalized series and integer parts | Reed Solomon University of Connecticut, USA |
| 12:00pm - 02:00pm | Lunch Break | |
| 02:00pm | Venue: LT31, Block S16, Level 3, Faculty of Science, NUS, 6 Science Drive 2 Singapore 117546 | |
| 02:00pm - 03:00pm | Public lecture: Waking Up from Leibniz' Dream: On the Unmechanizability of Truth | Denis Hirschfeldt The University of Chicago, USA |
| 09:20am - 09:30am | Registration | |
| 09:30am - 10:30am | The automorphisms of the lattice of x-computably enumerable vector spaces (PDF) | Valentina Harizanov The George Washington University, USA |
| 10:30am - 11:00am | Coffee Break | |
| 11:00am - 12:00pm | An optimal description of computably categorical torsion abelian groups (PDF) | Alexander Melnikov Massey University, New Zealand |
| 12:00pm - 02:00pm | Lunch Break | |