13:00〜13:40: 市川 航士郎（名古屋大学）
Hyperations for Ptykes and the Bachmann–Howard Hierarchy
13:50〜14:30: 木村 大輔（東邦大学）
循環ラムダ計算と計算可能解析
(Coffee Break)
15:00〜15:40: 倉橋 太志（神戸大学）
Extensional な独立命題 [slides]
15:50〜16:30: 小暮 晏佳（神戸大学）
部分的な保存性を満たす文について
9:10〜9:50: Wenjuan Li (BIMSA)
The weak alternation hierarchy in the modal μ-calculus
10:00〜10:40: 関 隆宏（新潟大学）
Residual 公理の変種について
10:50〜11:30: 田中 義人（九州産業大学）
A predicate extension of GL and its completeness with respect to constant domain Kripke models [slides]
(Lunch Break)
13:00〜13:40: 西村 祐輝（東京科学大学）
Complexity for the Hybrid Logic [slides]
13:50〜14:30: 鹿島 亮（東京科学大学）
様相ミュー計算の無限タブローと循環証明について
(Coffee Break)
15:00〜15:40: 黒木 亮汰（東京大学）
Entailment relations for the constructive theory of free modules [slides]
15:50〜16:30: 藤原 誠（東京理科大学）
Some thought on Goodman’s theorem with Markov’s principle [slides]
9:10〜9:50: 鈴木 悠大（小山高専）
ωモデルについての不完全性定理とその応用
10:00〜10:40: 横山 啓太（東北大学）
The Kirby-Paris hierarchy and relativized principles of WWKL and DNR
10:50〜11:30: 金子 柚月（東北大学）
二階算術上のquasi-Polish space [slides]
(Lunch Break)
13:00〜13:40: Matthew de Brecht（京都大学）
A note on computable étale space
13:50〜14:10: 池山 愛斗（名古屋大学）
一様分布論の逆数学 [slides]
14:15〜14:45: 大林 実祐（名古屋大学）
Higher-Order Weihrauch Reducibility [slides]
(Coffee Break)
15:15〜15:45: 郭 正隆（名古屋大学）
オラクル相対の修正実現可能性トポス [slides]
15:50〜16:20: 梶川 彰仁（名古屋大学）
一般 Weihrauch 還元を用いた非構成的原理の分離 [slides]
16:25〜16:45: 渡部 耀介（名古屋大学）
二階計算量の再帰的特徴付けについて〜🎄クリスマスSP🎄〜
9:20〜10:00: 中田 哲（名古屋大学）
Kripke強制関係付きj-翻訳
10:10〜10:50: 只木 孝太郎（中部大学）
An analysis of Wigner's friend in the framework of quantum mechanics based on the principle of typicality
11:00〜11:40: 横山 駆（名古屋大学）
弱いランダム性と、計算的学習理論による予測不可能性との関係 [slides]
・2024: 証明論・計算論シンポジウム2024
・2023: RIMS共同研究(公開型)「証明論と計算論の最前線」
・2022: 証明論シンポジウム2022
・2021: RIMS共同研究 (公開型)「証明と計算の理論と応用」(2021年度)
・2020: 証明論研究集会2020
・2019: RIMS共同研究（公開型）「証明論とその周辺」（2019年度）
・2018: 証明論研究集会2018
世話人: 木原貴行 kihara@i.nagoya-u.ac.jp