| 09:20am - 11:00am | Activities held in conjunction with Workshop on Classical Computability Theory (4 - 8 September 2017) | |
| 11:00am - 12:00pm | Rearrangements | Joerg Brendle Kobe University, Japan |
| 12:00pm - 02:00pm | Lunch Reception at IMS | |
| 02:00pm - 03:00pm | Can we fish with Mathias forcing ? | Ludovic Patey Centre National De La Recherche Scientifique, Institut Camille Jordan, France |
| 03:00pm - 03:30pm | Coffee Break | |
| 03:30pm - 04:30pm | Active learning of classes of recursive functions by ultrametric algorithms (PDF) | Thomas Zeugmann Hokkaido University, Japan |
| 09:20am | Venue: Blk S17, Seminar Room 1, #04-06, Department of Mathematics, Faculty of Science, NUS, 10 Lower Kent Ridge Road, Singapore 119076 | |
| 09:20am - 09:30am | Registration | |
| 09:30am - 10:30am | Redeveloping Takeuti-Yasumoto forcing (PDF) | Satoru Kuroda Gunma Prefectural Women's University, Japan |
| 10:30am - 10:45am | Coffee Break | |
| 10:45am - 11:45am | Gödel's program and ultimate L (PDF) | Zhaokuan Hao Fudan University, China |
| 11:45am - 02:00pm | Lunch Break | |
| 02:00pm - 03:00pm | Set theoretic geologies (PDF) | Toshimichi Usuba Waseda University, Japan |
| 03:00pm - 03:30pm | Coffee Break | |
| 03:30pm - 04:15pm | Clique homological simplification problem is NP-hard (PDF) | NingNing Peng Wuhan University of Technology, China |
| 04:15pm - 05:00pm | Dickson's lemma and weak Ramsey theory (PDF) | Yasuhiko Omata Tohoku University, Japan |
| 09:20am - 02:00pm | Activities held in conjunction with Workshop on Computable Structures and Reverse Mathematics (11 - 15 September 2017) | |
| 02:00pm - 03:00pm | On the first-order part of Ramsey's theorem for pairs | Keita Yokoyama Japan Advanced Institute of Science and Technology, Japan |
| 03:00pm - 03:30pm | Coffee Break | |
| 03:30pm - 04:15pm | Non-depth-first search of an AND-OR tree | Toshio Suzuki Tokyo Metropolitan University, Japan |