Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2026)
2026年5月27日（水）から5月30日（土）
会場：京都大学
Organizing Committee：Matthew de Brecht、河村彰星、Holger Thies、立木秀樹（京都大学）

Symposium on Advances in Mathematical Logic (SAML 2026)
2026年6月23日（火）から6月26日（金）
会場：京都大学数理解析研究所110号室
幹事：薄葉季路（早稲田大学）

2026年度 数学基礎論サマースクール
2026年8月18日（火）から8月21日（金）
会場：静岡大学にて開催予定
世話人：依岡輝幸（静岡大学） 酒井拓史（東京大学） 薄葉季路（早稲田大学）

RIMS共同研究（公開型）「巨大基数と強制法」
2026年10月5日（月）から10月9日（金）
会場：京都大学数理解析研究所
研究代表者：津久浦健太（水産大学校）

数学基礎論若手の会 2026
2026年10月16日（金）午後から10月18日（日）午前
会場：エスポールみやぎ（宮城県青年会館）
幹事：根元多佳子（東北大学）

RIMS共同研究（公開型）「モデル理論における独立概念と次元の研究」
2026年11月30日（月）から12月2日（水）
会場：京都大学数理解析研究所
研究代表者：竹内耕太（筑波大学） 池田宏一郎（法政大学）