それぞれ講演タイトルをクリックすると、アブストラクトが参照可能です。
12:30 開場
13:00 opening
13:15 細田和範（慶應義塾大学）第二不完全性定理における無矛盾性を表す文について スライド
13:40 鈴木集（東京科学大学）様相論理速習――ミンコフスキー時空の因果構造を例として スライド
14:05 渋谷伊織（東京科学大学）剰余付き抽象的様相構造における不動点の分析
14:30 熊坂翼（神戸大学）Abstract provability structure の諸相 スライド
14:55 休憩
15:20 上島晟宏（神戸大学）超準モデルにおける超準的な証明の有り様について
15:45 野口真柊（神戸大学）定理証明支援系による不完全性定理・証明可能性論理の形式化 スライド
16:10 宮田大和（東北大学）逆数学―定理が公理を証明するとは?― Thin set theorem を例に スライド
16:35 金子柚月（東北大学）ベールのカテゴリー定理の逆数学
17:00 休憩
17:25 小林勇貴（東北大学）鳩の巣原理の逆数学的解析
17:50 市川航士郎（名古屋大学）弱い二階算術における保存性と反映原理
18:15 谷口雅弥（理研）正規文法と文脈自由文法のあいだ:ラベル付きランベック計算 スライド
19:30 夕食
7:30 朝食
9:00 藤原誠（東京理科大学）構成的逆数学のすゝめ【第二編】 スライド
9:25 黒木亮汰（東京大学） On inductive definitions of Noetherian rings スライド
9:50 一倉海斗（東北大学）The Role of Negation and Infinite Domains in Subminimal Arithmetic
10:15 休憩
10:35 川島玲（京都大学）幾何的 Weihrauch 束における, Cantor–Bendixson 次数に関連した不連続性の特徴づけ
11:00 日野一葉（筑波大学）層を台とする構造について
11:25 中浦鯉太郎（東京大学）モデル理論における理論の分類について
11:50 大倉昴貴（筑波大学）付値体と順序アーベル群のモデル理論 スライド
12:15 休憩
13:15 鈴木悠大（小山高専）二階算術における従属選択公理と反映規則
13:40 高瀬理人（神戸大学）解釈可能性論理 IL の位相意味論 スライド
14:05 竹田侑人（東北大学）Frame Definability and the Valuation Extension Lemma
14:30 池田侑登（東京大学）Gödel コード化とジェミナル圏: Löb の定理の圏論的構造 スライド
14:55 休憩
15:20 小暮晏佳（神戸大学）様相述語論理における有限クリプキモデルとその算術への埋め込み
15:45 佐藤雄太（神戸大学）Kripke Game の紹介 スライド
16:10 西村祐輝（東京科学大学）『バルカンは青かった』? – 自由論理入門–
16:35 織田幸弘（東北大学）動的論理の循環証明体系
17:00 休憩
17:25 池上蒔典（放送大学）形式検証言語自作入門 – Lisp でつくる形式検証言語の設計・実装・評価法 編 – スライド 資料置き場
17:50 髙柳海斗（名古屋大学）evidenced frame とそのアセンブリ
18:15 山田鈴太（電気通信大学）効果的実現可能性とそのトポス理論的展開
19:30 夕食
9:00 遠山寿弥（名古屋大学）Structural reflection による巨大基数の特徴づけ
9:25 岩渕柊介（早稲田大学）Ultrapower Axiom と超フィルターの構造
9:50 休憩
10:15 野呂秀貴（神戸大学）Speckerの定理から回避数へ
10:40 山添隆志（神戸大学）積・反復強制法の性能と限界、および実用例