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


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


第38回 記号論理と情報科学 研究集会(SLACS2021)
2021年8月10日(火)から 2021年8月11日(水) オンライン開催, 連絡先:中村誠希(東京工業大学)


数学基礎論サマースクール
2021年9月2日から9月4日. オンライン開催. 世話人:佐々木克巳(南山大学).


日本数学会2021年度秋季総合分科会
2021年9月14日(火)から9月17日(金).オンライン開催(千葉大).


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


RIMS共同研究(公開型) 「証明と計算の理論と応用」
2021年12月20日(月)から12月22日(水). 京都大学数理解析研究所(オンライン開催などに変更になる可能性があります). 代表者:池田一磨(杏林大学).


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