[logic-ml] 【再送】数学基礎論サマースクールにつきまして，参加登録方法

みなさま，

今年度の数学基礎論サマースクールにつきまして， 期日が近づいて参りましたので，再度ご案内させていただきます． 是非ご参加をご検討ください． どうぞよろしくお願いいたします．

横山啓太

---------- Forwarded message ---------

日時: 9月17日〜20日(4日間) 場所: 東北大学情報科学研究科(青葉山キャンパス) テーマ: 算術の証明論と構成的数学 講師: 算術の証明論パート: 倉橋太志，横山啓太 構成的数学パート: 石原哉，根元多佳子，Giovanni Sambin

詳細は以下のウェブページをご覧ください https://sites.google.com/view/logic-summer-school-2024/

ご参加をご希望の方は上記ウェブページまたは https://forms.gle/ppoNXj1nK36gupPf9 より参加登録をお願いいたします． (懇親会への参加の受付も同時にいたします．)

是非ご参加をご検討ください． どうぞよろしくお願いいたします．

横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University [email protected]