プログラム
19日
15:30-16:10 Leonardo Pacheco (東北大学) The mu-calculus collapses to modal logic over frames of IS5 [slides]
16:20-17:00 倉橋太志 (神戸大学) R と無矛盾な理論の不完全性と決定不可能性 [slides]
18:00- 夕食
19:50-20:30 鈴木悠大 (東北大学) Pseudo-hierarchy method in Weihrauch degrees [slides]
20:30-21:30 ディスカッション
20日
朝食
9:20-10:00 間庭彬仁 (東京工業大学) 脱出のメカニズムのための証明体系
10:05-10:45 西村祐輝 (東京工業大学) Kripke frame の性質とTableau の停止性 [slides]
11:00-11:40 木村大輔 (東邦大学) 含意と余含意をもつ双側面的自然演繹に対応するラムダ計算
11:45-12:25 鹿島亮 (東京工業大学) 証明可能性論理GLS の意味論とカット除去[slides]
昼休み(昼食は各自)
14:00-14:40 中田哲 (京都大学) 直観主義一階算術に対するトポス理論的不変量について [slides]
14:45-15:25 木原貴行 (名古屋大学) 計算可能数学のトポスとLawvere-Tierney 位相
15:45-16:25 織田幸弘 (総合研究大学院大学) 循環証明体系とプレスバーガー算術 [slides]
16:30-17:10 森田泰聖 (東邦大学大学院) 時相論理CTL の証明論的分析のためのカット除去定理と拡張した部分論理式性にむけて [slides]
18:00- 夕食
夜(19:50-20:30) Thibaut Kouptchinsky (Catholic University of Louvain le Neuve) Determinacy in and out second order arithmetic : An introduction to the proof theoretic strength of the determinacy scale
20:30-21:30 ディスカッション
21日
朝食
9:20-10:00 五十里大将 (東北大学) Basis theorems and conservation results around RT^2_2 [slides]
10:05-10:45 黒田覚(群馬県立女子大学) Linear algebra in bounded arithmetic II
11:00-11:40 只木孝太郎 (中部大学) An effectivization of the law of large numbers for algorithmically random sequences and its absolute speed limit of convergence
11:45-12:25 関隆宏 (新潟大学) 公理S の族に対応する推論規則