証明論研究集会 2013

例年行われている証明論を中心とした研究集会です。 昨年度の様子については こちらを ご参照ください。今年度は下記の要領で開催します。

• 日時：2013年8月8日（木）午前 － 9日（金）午後
  　　　　なお5日（月）－7日（水）には 数学基礎論サマースクールが開催されます。
  
  
• 会場：慶応義塾大学 三田キャンパス 南校舎475教室 （交通アクセス・キャンパス案内）
  　　　※教室が変更となりました。ご注意ください。
  
  
　　　
• 世話人：照井一成（京都大学） terui at kurims.kyoto-u.ac.jp
  　　　　　　白旗優（慶応大学）

プログラム（確定版）

8月8日（木）

• 09:50～10:00　事務連絡
  
  
• 10:00～10:50　金子守（早稲田大学）
  　　　　　　　Infinite Regresses Arising from Prediction/Decision Making in Games (with Tai-Wei Hu)
  
  
• 11:00～11:30　中澤巧爾（京都大学）
  　　　　　　　Extensional Model of Lambda-mu Calculus
  
  
• 11:30～12:00　藤原誠（東北大学）
  　　　　　　　Classical uniform provability and intuitionistic provability for \Pi_2 statements
  
  
• 13:30～14:20　石原哉（北陸先端科学技術大学院大学）
  　　　　　　　Classical propositional logic and decidability of variables in intuitionistic propositional logic
  
  
• 14:30～15:20　木原貴行（北陸先端科学技術大学院大学）
  　　　　　　　TBA
  
  
• 15:40～16:30　横山啓太（北陸先端科学技術大学院大学）
  　　　　　　　On the second-order categoricity of the natural number system
  
  
• 16:40～17:30　根元多佳子（北陸先端科学技術大学院大学）
  　　　　　　　TBA
  

8月9日（金）

• 10:00～13:00　自由討論