27 Sep
2023
27 Sep
'23
9:31 a.m.
みなさま，
東北大学の横山です． 2023年度の証明論研究集会を以下の通りRIMS共同研究(公開型)として開催いたします． ご講演・ご参加をご検討いただけましたら幸いです． どうぞよろしくお願いいたします．
********************************* RIMS共同研究(公開型)「証明論と計算論の最前線」 日時：2022/12/11(月)午後-2022/12/14(木)午前 場所：京都大学数理解析研究所(RIMS)110号室(およびオンライン) 講演募集：11月20日締め切り
詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2023
また講演申し込み(11月20日締め切り)及び 参加登録は以下のフォームよりお願いいたします． https://forms.gle/HoMR3wx595FbLxHc7 *********************************
どうぞよろしくお願いいたします．
横山啓太
--
Keita Yokoyama
Mathematical Institute, Tohoku University
Aoba, Sendai, JAPAN, 980-8578
[email protected]