みなさま，

東北大学の横山です． 証明論シンポジウムにつきまして，講演募集の締め切りを12月5日としておりますので， 再度ご案内をさせていただきます． なお，宿泊につきましてはまだ追加可能ですが，あと数日で部屋を確定してしまいます． もしご希望がありましたらできるだけ早くお知らせください． どうぞよろしくお願いいたします．

横山啓太

---------- Forwarded message --------- From: YOKOYAMA Keita azutab@gmail.com Date: 2022年10月19日(水) 23:59 Subject: 2022年度の証明論研究集会のご案内 To: logic-ml@fos.kuis.kyoto-u.ac.jp Cc: YOKOYAMA Keita keita.yokoyama.c2@tohoku.ac.jp

みなさま，

東北大学の横山です． 今年度の証明論シンポジウムを以下の通り開催いたします． ご講演・ご参加をご検討いただけましたら幸いです． どうぞよろしくお願いいたします．

********************************* 証明論シンポジウム2022 日時：2022/12/19(月)-2022/12/21(水)

場所：秋保グランドホテル(宮城県仙台市)およびオンライン 参加費：1000円(現地参加の方のみ) 宿泊希望の場合は19日，20日，各1泊2食付き10,000円程度の予定．

詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0

また参加登録は以下のフォームよりお願いいたします． https://forms.gle/WkYU54DzYNmYHCQV6

注意事項 ・オンライン配信について 　ホテルのネット環境に依存した配信となるため，接続が脆弱となることも考えられます．あらかじめご了承ください． また，オンライン講演の希望もいただいており，現地の状況を確認した限りでは，実行できると考えておりますが，トラブルが生じる可能性もありますので，あらかじめご了解いただけますようお願いいたします．

・宿泊について 　宿泊は1泊2食付き10000円程度，和室3-4人程度の相部屋となります．ご希望の場合は，仮の日程でも構いませんので，できるだけ早め(できれば11月20日まで)にご連絡をいただけますと大変助かります．想定している部屋が埋まった後は金額が変わってくる可能性があります．また，学生の方は1000円程度割引可能ですので，学生部屋(相部屋の人数が多めになる)をご希望の方はお申し付けください．

・宿泊時の食事について 　会食が制限されている状況でもありますので，ブッフェ形式でみなさま個人でもお食事いただける形式ですが，参加者用にブッフェ会場の特定の区画をあらかじめ割り当てていただく予定です．なお，状況が許すようでしたら1日は会食形式に変更することを検討しております．その場合は参加申し込みの方に再度ご相談いたします．

・参加費について 　参加費は強制はいたしませんので可能な方にお支払いをお願いいたします．なお領収書は発行いたします．

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

横山啓太

-- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2@tohoku.ac.jp