Local Arrangements

Schedules

Co-located Meetings

Supporters

Timetable

Booklet [Program + Abstracts PDF]

Overview
      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

サンプルバナー

サンプルバナー

サンプルバナー

 

Powered by Pondt