[logic-ml] 証明論研究集会2020のご案内

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

皆様

2020年度の証明論研究集会のご案内をお送りさせていただきます． 現在の新型コロナの感染拡大状況を鑑みて，今回の研究集会はオンラインで開催する予定です．

講演は，証明論に限らず，数理論理学とその周辺を含めた分野から，幅広く募集しています． 多くの方のご参加・ご講演をお待ちしています．

--------------------------------------------------------------------------------- 研究集会：証明論研究集会2020 日程：2020年12月19日（土）-12月20日（日） 場所：オンライン

Webページ：https://www.kyorin-u.ac.jp/univ/user/health/proof_theory-2020/

講演を希望される方も，参加のみを希望される方も12月7日(月) 17:00までに， [email protected]宛に，以下の項目をご連絡ください．

氏名： 所属： e-mailアドレス： 講演の有無： （講演有の場合は，タイトルと講演時間や講演日時等のご希望）

杏林大学 池田一磨