RIMS共同研究(公開型)「証明論と計算論の最前線」
2023/12/11-2023/12/14
開催要項
開催要項
日時:2023/12/11(月)午後 - 2023/12/14(木)午前
場所:京都大学数理解析研究所(RIMS)110号室
連絡先
連絡先
世話人: 横山啓太(東北大学), keita.yokoyama.c2[at]tohoku.ac.jp
参加応募フォーム
参加応募フォーム
参加希望(聴講のみ参加,オンライン参加含む)の方は下記の google form から参加登録をお願いします.
https://forms.gle/HoMR3wx595FbLxHc7
講演申し込み締切:11月20日
聴講のみ希望者:12月4日をめどに登録をお願いいたします
オンライン参加を希望された方には後日,参加用URLをお送りします.
RIMSの手続きの都合上,予定がお決まりの方は11月8日までにご登録いただけますと幸いです.ご協力よろしくお願いいたします.
また,額は限られておりますが,若干の旅費の援助等が行える可能性があります.ご希望の方は11月5日までに世話人まで直接ご連絡ください.(学生で旅費の無い方,講演者の方を優先させていただきます.) 既に締め切りました.
懇親会参加フォーム
懇親会参加フォーム
以下の通り懇親会を予定しております.下記フォームよりお申し込みください.
予約の都合上,12月9日(土)13時までにお申し込みをお願いします.
日時: 12月12日 18:30より
会場: 百万遍しゃらくhyakumanbensharaku.gorp.jp/
予算: 6000円程度 (今回,学生の方の参加多数が見込まれるため,学割が可能か未定です.)
招待講演
招待講演
Leszek Kołodziejczyk (University of Warsaw)
Laurent Bienvenu (CNRS, LaBRI)
大森仁(東北大学)