kisoron-ml のみなさま：

大阪公立大学 嘉田勝です。

SAML2022 （数学基礎論全体のシンポジウム）の実施日が 近づいてまいりましたので、あらためてご案内申し上げます。 《ハイブリッド開催 ＝ 会場での参加も Zoom でのリモート参加も可能》

会場での参加、Zoom オンラン参加ともに、引き続きご登録受付中です。 よろしくお願いします。

======== SAML2022 （数学基礎論全体のシンポジウム）を、 京都大学数理解析研究所の共同利用研究集会として、 6月21日火曜日から6月24日金曜日まで開催します。

↓シンポジウムWebページ https://researchmap.jp/kada/SAML2022%EF%BC%9ARIMS%E5%85%B1%E5%90%8C%E7%A0%94...

↓参加登録フォーム https://docs.google.com/forms/d/1q8EiCw11rYe68CWCOmzIhbFSTRbCm1W1u1GtvKg4D3c...

SAML2022: Symposium on Advances in Mathematical Logic 2022 RIMS共同研究（公開型）「数理論理学とその応用」 《ハイブリッド開催》

研究代表者：嘉田勝 （大阪公立大学）

【日時】 2022年6月21日 火曜日 14:30 -- 2022年6月24日 金曜日 17:00

【会場】 京都大学数理解析研究所 420大講演室 《Zoom での遠隔参加も可能》

【チュートリアル】 * 田中一之 （東北大学名誉教授） 《2階算術と決定問題》 * 池田宏一郎 （法政大学） 《Hrushovskiの構成法》 * 藤田憲悦 （群馬大学） 《カリー・ハワード同型と証明の形式化》 * 鹿島亮 （東京工業大学） 《非古典論理の完全性：様相ミュー計算を例にして》

【招待講演】 * 竹内耕太 （筑波大学） * 薄葉季路 （早稲田大学） * 倉橋太志 （神戸大学） * 照井一成 （京都大学数理解析研究所） * 木原貴行 （名古屋大学） ====