[kisoron-ml] 予告：SAML2022（数学基礎論全体のシンポジウム） 2022/6/21--24

[Masaru KADA]

kisoron-ml および logic-ml のみなさま：

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

SAML2022 （数学基礎論全体のシンポジウム）を、
京都大学数理解析研究所の共同利用研究集会として、
6月21日火曜日から6月24日金曜日まで開催します。
《ハイブリッド開催 ＝ 会場での参加も Zoom でのリモート参加も可能》

プログラムおよび参加登録フォームを近日中に公開します。
みなさまのご参加をお待ち申し上げます。

====

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

標記のシンポジウムを開催します。

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


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

【会場】 京都大学数理解析研究所 420大講演室
《ハイブリッド開催 ＝ 会場での参加も Zoom での遠隔参加も可能》

【チュートリアル】
	• 田中一之 （東北大学名誉教授） 《2階算術》
	• 池田宏一郎 （法政大学） 《モデル論》
	• 藤田憲悦 （群馬大学） 《計算機科学》
	• 鹿島亮 （東京工業大学） 《非古典論理》

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

【プログラム】（準備中）

【参加登録フォーム】（準備中）

====




-- 
====
  Masaru KADA （嘉田 勝）
  kada at omu.ac.jp
  ※ 2022年4月からメールアドレスが変わりました
====