[logic-ml] 第3回ロジックウィンタースクール

皆様 お世話になっております．名古屋大学の木原です．

以下の要領で第3回ロジックウィンタースクールを開催いたしますのでご案内をいたします．

+++++

日時: 2025/2/17 (月) 〜 2025/2/21 (金) 場所: 理化学研究所 和光事業所（埼玉県和光市） https://sites.google.com/view/logic-winter-school-iii/

講師: 　• 丸山善宏 (名古屋大学) 　• 上村太一 (名古屋大学) 　• 竹内耕太 (筑波大学) 　• 黒田覚 (群馬女子大学)

パネルディスカッション: 講義の他にも，ロジックを巡る素朴な疑問について議論するパネルディスカッションを企画しております． ・数学の基礎，集合論，圏論，型理論，算術, etc.に関する素朴な疑問 ・あるいは普通の論文や教科書上では明示的には問われないような種類の問い，など

+++++

ご興味がありましたら，ぜひご参加していただけましたら幸いです．多数のご参加をお待ちしております． 懇親会へのご参加を希望される場合には，2/3(月)までの登録をよろしくお願い致します．

以上どうぞよろしくお願いいたします．

--------

木原 貴行 名古屋大学 大学院情報学研究科 数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara@i.nagoya-u.ac.jp