みなさま，

東北大学の横山です．

先日ご案内させていただきました下記の2023年度の証明論研究集会(RIMS共同研究公開型)についてですが， RIMSの手続きの都合もありまして，ご予定がお決まりの方はできるだけ11/8までにご登録，講演申し込みをいただけますと大変助かります． (私の認識不足もありまして，日程に余裕を持たせすぎました．) ご協力をよろしくお願いいたします．

また，額は限られておりますが，若干の旅費の援助等が行える可能性があります． ご希望の方は11月5日までに世話人まで直接ご連絡ください． (学生で旅費の無い方，講演者の方を優先させていただきます．)

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

横山啓太

---------- Forwarded message --------- From: YOKOYAMA Keita keita.yokoyama.c2@tohoku.ac.jp Date: 2023年9月27日(水) 9:31 Subject: 証明論研究集会2023: RIMS共同研究(公開型)「証明論と計算論の最前線」のご案内 To: logic-ml@fos.kuis.kyoto-u.ac.jp, kisoron-ml@fos.kuis.kyoto-u.ac.jp

みなさま，

東北大学の横山です． 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 keita.yokoyama.c2@tohoku.ac.jp