当分科会に関係する研究集会の今後の予定


証明論と計算論のワークショップ
延期されています.
秋田大学手形キャンパス
代表者:新屋良磨(秋田大学)



RIMS共同研究(公開型) 「実数の集合論における近年の進展」[集合論]
2021年10月12日(火)から10月15日(金).
オンライン開催(京都大学数理解析研究所).
代表者:嘉田勝(大阪府立大学).


数学基礎論若手の会2021
2021年12月3日(金)から12月5日(日).
オンライン開催
世話人:倉橋太志(神戸大学)


RIMS共同研究(公開型) 「モデル理論における独立概念と次元の研究」
2021年12月13日(月)から12月15日(水).
オンライン開催(京都大学数理解析研究所).
代表者:桔梗宏孝(神戸大学).


RIMS共同研究(公開型) 「証明と計算の理論と応用」
2021年12月20日(月)から12月22日(水).
京都大学数理解析研究所 (ハイブリッド型での開催予定).
代表者:池田一磨(杏林大学).


過去の研究集会はこちら
このページへの掲載希望は評議員または運営委員へご連絡ください.