Timetable
Booklet [Program + Abstracts PDF]
| February 18 (Monday) | February 19 (Tuesday) | February 20 (Wednesday) | |||
|---|---|---|---|---|---|
| 9:30 | Reception | 9:30 | Session 4. Proof Theory and Semantics | 9:30 | Session 6. Algorithmic Randomness |
| 10:00 | Session 1. Reverse Mathematics and Unprovability | Ken-Etsu Fujita | Kenshi Miyabe | ||
| Takeshi Yamazaki | Gyesik Lee | Ningning Peng | |||
| Florian Pelupessy | Michele Basaldella | Kohtaro Tadaki and Norihisa Doi | |||
| 11:00 | short break | 11:00 | short break | 11:00 | short break |
| 11:15 | Invited talk 1. | 11:15 | Invited talk 3. | 11:15 | Invited talk 6. |
| Yang Yue | Helmut Schwichtenberg | Chi Tat Chong | |||
| 12:00 | lunch break | 12:00 | lunch break | 12:00 | lunch break |
| 13:30 | Invited talk 2. | 13:30 | Invited talk 4. | 13:30 | Session 7. Nonstandard Models |
| Wu Guohua | Toshiyasu Arai | Tin Lok Wong | |||
| 14:15 | short break | 14:15 | short break | Keita Yokoyama | |
| 14:30 | Session 2. Degree Theory | 14:30 | Session 5. Ordinals and Weak Arithmetic | 14:30 | coffee break |
| Kojiro Higuchi | Jeroen Van der Meeren | 15:00 | Session 8. Complexity and Probability | ||
| Takayuki Kihara | Naohi Eguchi | A. Kawamura, N. Muller, C. Rosnick and M. Ziegler | |||
| 15:30 | coffee break | Yoshihiro Horihata | Yoriyuki Yamagata | ||
| 16:00 | Session 3. Constructive Mathematics | 16:00 | coffee break | Cameron E. Freer | |
| Kazuto Yoshimura | 16:30 | Invited talk 5. | 16:30 | Closing | |
| Josef Berger | Stephen G. Simpson | ||||
| Sam Sanders | 17:15 | ||||
| 17:30 | |||||
| 18:00 | Banquet |
