[logic-ml] 証明論研究集会2023: RIMS共同研究(公開型)「証明論と計算論の最前線」のご案内

みなさま，

東北大学の横山です． 開催日時が近づきましたので，2023年度の証明論研究集会(RIMS共同研究(公開型))につきまして再度ご案内させていただきます． 参加登録につきまして，12月4日をめどにご登録をいただければ幸いです． なお，ウェブページの方では研究集会のプログラム(暫定版)および懇親会の情報が追加されております． ご参加をご検討のほどよろしくお願いいたします．

********************************* RIMS共同研究(公開型)「証明論と計算論の最前線」 日時：2022/12/11(月)午後-2022/12/14(木)午前 場所：京都大学数理解析研究所(RIMS)110号室(およびオンライン)

詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2023

参加登録は12月4日を目処に以下のフォームよりお願いいたします． https://forms.gle/HoMR3wx595FbLxHc7 *********************************

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

横山啓太

-- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 [email protected]