RIMS共同研究(公開型)「証明論と計算論の最前線」

開催要項

• 日時：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)

• 大森仁(東北大学)

講演一覧はこちら

プログラムはこちら