Timetable
Our booklet includes the program, the schedule with titles and the abstracts of the talks. You can get one on the day.
| PROGRAM | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Sep 7 (Mon) |
9:30-10:20 | (registration) | ||||||||
| 10:20-10:30 | Opening | |||||||||
| 10:30-12:00 | Session on Computability Theory | |||||||||
| 10:30-11:10 | Guohua Wu | |||||||||
| (short break) | ||||||||||
| 11:20-12:00 | Stephen Binns | |||||||||
| 12:00-14:00 | (lunch break) | |||||||||
| 14:00-14:50 | Plenary talk | |||||||||
| 14:00-14:50 | Alberto Marcone | |||||||||
| 15:00-15:50 | JSPS-NUS Contributed Session | |||||||||
| 15:00-15:25 | Chi Tat Chong | |||||||||
| 15:25-15:50 | Yang Yue | |||||||||
| 15:50-16:20 | (coffee break) | |||||||||
| 16:20-17:10 | CTFM Contributed Session | |||||||||
| 16:20-16:45 | Nobu-Yuki Suzuki | |||||||||
| 16:45-17:10 | Tomoaki Kawano | |||||||||
| Sep 8 (Tue) |
9:30-10:20 | JSPS-NUS / CTFM Contributed Session | ||||||||
| 9:30-9:55 | Takeshi Yamazaki | |||||||||
| 9:55-10:20 | Yasuhiro Takahashi | |||||||||
| 10:30-12:00 | JSPS-NUS / CTFM Contributed Session | |||||||||
| 10:30-11:10 | Dilip Raghavan | |||||||||
| (short break) | ||||||||||
| 11:20-12:00 | Joel David Hamkins | |||||||||
| 12:00-14:00 | (lunch break) | |||||||||
| 14:00-14:50 | Plenary talk | |||||||||
| 14:00-14:50 | Nik Weaver | |||||||||
| 15:00-15:40 | Session on Philosophy | |||||||||
| 15:00-15:40 | Kengo Okamoto | |||||||||
| 15:40-16:10 | (coffee break) | |||||||||
| 16:10-17:00 | CTFM Contributed Session | |||||||||
| 16:10-16:35 | Emanuele Frittaion | |||||||||
| 16:35-17:00 | Florian Pelupessy | |||||||||
| Sep 9 (Wed) |
9:30-11:30 | JSPS-NUS Discussion Session | ||||||||
| 11:30-13:00 | (lunch break) | |||||||||
| 13:00-13:50 | JSPS-NUS Contributed Session | |||||||||
| 13:00-13:25 | Makoto Fujiwara | |||||||||
| 13:25-13:50 | Takayuki Kihara | |||||||||
| 14:00-15:30 | Session on Philosophy | |||||||||
| 14:00-14:40 | Hidenori Kurokawa | |||||||||
| (short break) | ||||||||||
| 14:50-15:30 | Walter Dean | |||||||||
| 16:00-17:00 | Mini Concert (program note) | |||||||||
| 18:30-20:30 | Banquet | |||||||||
| Sep 10 (Thu) |
9:30-11:00 | Session on Computability Theory | ||||||||
| 9:30-10:10 | Keng Meng Ng | |||||||||
| (short break) | ||||||||||
| 10:20-11:00 | Liang Yu | |||||||||
| 11:20-12:10 | Plenary talk | |||||||||
| 11:20-12:10 | Leszek Kołodziejczyk | |||||||||
| 12:10-14:00 | (lunch break) | |||||||||
| 14:00-17:20 | Special Session on Professor Tanaka’s Works | |||||||||
| 14:00-14:30 | Takeshi Yamazaki | |||||||||
| (short break) | ||||||||||
| 14:40-15:20 | Tin Lok Wong | |||||||||
| (coffee break) | ||||||||||
| 15:50-16:30 | Toshio Suzuki | |||||||||
| (short break) | ||||||||||
| 16:40-17:20 | Keisuke Yoshii | |||||||||
| Sep 11 (Fri) |
9:30-10:45 | CTFM Contributed Session | ||||||||
| 9:30-9:55 | Ningning Peng | |||||||||
| 9:55-10:20 | Kenshi Miyabe | |||||||||
| 10:20-10:45 | Takashi Sato | |||||||||
| 11:00-11:50 | Plenary talk | |||||||||
| 11:00-11:50 | Sy-David Friedman | |||||||||
| 12:10-14:00 | (lunch break) | |||||||||
| 14:00-15:30 | Session on Set Theory | |||||||||
| 14:00-14:40 | Hiroshi Sakai | |||||||||
| (short break) | ||||||||||
| 14:50-15:30 | Sakaé Fuchino | |||||||||
| 15:30-16:00 | (coffee break) | |||||||||
| 16:00-16:50 | JSPS-NUS Contributed Session | |||||||||
| 16:00-16:25 | Toshimichi Usuba | |||||||||
| 16:25-16:50 | Keita Yokoyama | |||||||||
| 16:50-17:00 | Closing | |||||||||
