RIMS共同研究（公開型）
数理論理学とその応用
数理論理学とその応用
Symposium on Advances in Mathematical Logic (SAML) は国内の数理論理学の諸分野（証明論・集合論・モデル理論・計算論・非古典論理）の研究交流を目的とした，隔年開催の研究集会です．過去の集会の情報は次のページでご覧いただけます．
2026年の SAMLではチュートリアルと招待講演をハイブリッド形式で実施します．学生の方や研究者の方など多くの方にご参加いただき，活発な研究交流の場になることを期待しています．
日時 ２０２６年６月２３日（火）午後～２６日（日）午後
場所 京都大学数理解析研究所１１０号室 https://www.kurims.kyoto-u.ac.jp/ja/
集合論：酒井拓史（東京大学）
モデル理論：坪井明人（筑波大学）
非古典論理：田中義人（九州産業大学）
青木 悠史郎（東京工業高等専門学校）
Junguk Lee（Changwon National University）
Leonardo Pacheco （東京科学大学）
and more…
準備中
池田宏一郎（法政大学）
薄葉季路（早稲田大学）幹事
倉橋太志（神戸大学）
黒田覚（群馬県立女子大学）
横山啓太（東北大学）