Brendle先生60歳の記念研究集会
2025年9月2日(月)から9月5日(金)
会場:神戸大学
世話人:Diego A. Mejia(神戸大学) 南裕明(愛知学院大学) 酒井拓史(東京大学) 依岡輝幸(静岡大学)
The 18th Asian Logic Conference (ALC 2025)
2025年9月8日(月)から9月12日(金)
会場:京都産業大学
RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」
2025年12月8日(月)午後から12月10日(水)
会場:京都大学数理解析研究所110号室
研究代表者:桔梗宏孝(神戸大学)
RIMS共同研究(公開型)「公理的集合論の最近の進展」
2025年12月16日(火)午前から12月19日(金)午後
会場:京都大学数理解析研究所110号室
研究代表者:依岡輝幸(静岡大学)
RIMS共同研究(公開型)「証明論と計算論の新地平」
2025年12月22日(月)午後から12月25日(木)午前
会場:京都大学数理解析研究所111号室
研究代表者:木原貴行(名古屋大学)