（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください）

皆様

RIMS共同研究(公開型)「証明と計算の理論と応用」の参加申し込みの 締め切りが近づいて参りましたので，再送させていただきます． ご検討のほど何卒よろしくお願いいたします．

2021年度の証明論研究集会のご案内をお送りさせていただきます． 今年度はRIMS共同研究(公開型)として，下記の要領で開催される予定です． 新型コロナの感染拡大状況を鑑みて，現在のところハイブリッド型で開催する予定です．

講演は証明論・計算論とその周辺を含めた分野から，幅広く募集しています． 今回の研究集会では，東京大学数理科学研究科の新井敏康先生に招待講演を お願いしております．

多くの皆様のご参加・ご講演をお待ちしています．

--------------------------------------------------------------------------------- RIMS共同研究(公開型)「証明と計算の理論と応用」 日時：2021年12月20日〜2021年12月22日 場所：京都大学数理解析研究所111号室 （ 講演者，代表者などコアメンバーのみ会場での参加が可能で，コアメンバー以外の参加者 はZoomによる参加を想定してます．） Webページ：https://www.kyorin-u.ac.jp/univ/user/health/proof_theory/2021/ ---------------------------------------------------------------------------------

参加を希望される方は，11月15日(月) 17:00までに， ikedak[at]ks.kyorin-u.ac.jp宛に， 以下の項目をご連絡ください． （講演されない方も11月15日（月）17:00までにご連絡ください．）

・氏名： ・大学等名： ・部局等名（学部，研究科，研究所等）： ・職名： ・e-mailアドレス： ・参加の仕方：　１．会場（数理解析研究所）　　２．遠隔　 （どちらか一方を消してください） ・講演の有無：　１．講演する　　２．講演しない　 （どちらか一方を消してください） 　（講演を希望される場合は，タイトルと講演時間や講演日等の希望 をご連絡ください．） ・旅費援助の希望の有無：　１．希望する　　２．希望しない　 （どちらか一方を消してください．） （希望される場合は参加日程（例：12月20日〜12月21日）をご連絡ください． 　　　また，申込状況によってはご希望に添えない場合があります．） ※上記の情報は京都大学数理解析研究所および次年度世話人に提供されます．

杏林大学 池田一磨