みなさま,
東北大学の横山です. 今年度の数学基礎論サマースクールにつきまして, 改めてお伝えいたします.
日時: 9月17日〜20日(4日間) 場所: 東北大学情報科学研究科(青葉山キャンパス) テーマ: 算術の証明論と構成的数学 講師: 算術の証明論パート: 倉橋太志,横山啓太 構成的数学パート: 石原哉,根元多佳子,Giovanni Sambin
詳細は以下のウェブページをご覧ください https://sites.google.com/view/logic-summer-school-2024/
ご参加をご希望の方は上記ウェブページまたは https://forms.gle/ppoNXj1nK36gupPf9 より参加登録をお願いいたします. (懇親会への参加の受付も同時にいたします.)
是非ご参加をご検討ください. どうぞよろしくお願いいたします.
横山啓太