数学基礎論サマースクール テーマ:証明論
数学基礎論若手の会2024 世話人:樋口幸治郎(日本大学)
RIMS共同研究(公開型)「公理的集合論の最近の進展」 2024年10月9日(水)から10月11日(金) 研究代表者:塩谷真弘(筑波大学)
SLACS 2024
第59回MLG数理論理学研究集会 世話人:大森仁(東北大学)