皆様
お世話になっております.名古屋大学の木原貴行です.
以下の要領で証明論シンポジウム2024を開催いたしますのでご案内をいたします.
+++++
日時: 2024/12/16 (月) 〜 2024/12/18 (水) 場所: 名古屋大学 東山キャンパス 野依記念物質科学研究館 https://sites.google.com/view/proof-theory-2024/home
+++++
以上どうぞよろしくお願いいたします.
木原
--------
木原 貴行 名古屋大学 大学院情報学研究科 数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: [email protected]