日時: 2025/12/22 (月) 〜 2025/12/25 (木)
場所: 京都大学数理解析研究所 111号室
参加登録フォームは こちら
一部の参加者の旅費を援助できる可能性があります。旅費援助は講演者が優先されます。
（講演を希望，あるいは旅費の援助を希望される場合は，11/14 (金) までの登録をお願いいたします）
旅費援助は締め切りました．講演申込は引き続き受け付けております．
講演申し込みも締め切りました．
13:00〜13:45: 中田 哲（名古屋大学）
TBA
14:00〜14:45: 市川 航士郎（名古屋大学）
TBA
15:00〜15:45: 倉橋 太志（神戸大学）
TBA
16:00〜16:45: 小暮 晏佳（神戸大学）
TBA
9:20〜10:05: Wenjuan Li (BIMSA)
TBA
10:15〜11:00: 関 隆宏（新潟大学）
Residual 公理の変種について
11:10〜11:55: 田中 義人（九州産業大学）
A predicate extension of GL and its completeness with respect to constant domain Kripke models
(Lunch Break)
13:30〜14:15: 西村 祐輝（東京科学大学）
TBA
14:30〜15:15: 鹿島 亮（東京科学大学）
TBA
15:30〜16:15: 黒木 亮汰（東京大学）
Entailment relations for the constructive theory of free modules
16:25〜16:45: 渡部 耀介（名古屋大学）
TBA
9:30〜10:15 鈴木 悠大（小山高専）
TBA
10:30〜11:15 横山 啓太（東北大学）
The Kirby-Paris hierarchy and relativized principles of WWKL and DNR
11:30〜12:15 金子 柚月（東北大学）
二階算術上のquasi-Polish space
(Lunch Break)
13:45〜14:30 Matthew de Brecht（京都大学）
TBA
14:45〜15:05: 池山 愛斗（名古屋大学）
TBA
15:10〜15:30: 大林 実祐（名古屋大学）
TBA
15:40〜16:10: 郭 正隆（名古屋大学）
TBA
16:15〜16:45: 梶川 彰仁（名古屋大学）
TBA
10:00〜10:45 只木 孝太郎（中部大学）
TBA
11:00〜11:45 横山 駆（名古屋大学）
TBA
・2024: 証明論・計算論シンポジウム2024
・2023: RIMS共同研究(公開型)「証明論と計算論の最前線」
・2022: 証明論シンポジウム2022
・2021: RIMS共同研究 (公開型)「証明と計算の理論と応用」(2021年度)
・2020: 証明論研究集会2020
・2019: RIMS共同研究（公開型）「証明論とその周辺」（2019年度）
・2018: 証明論研究集会2018
世話人: 木原貴行 kihara@i.nagoya-u.ac.jp