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)
大森仁(東北大学)
