[logic-ml] RIMS共同研究（公開型）「証明論とその周辺」のご案内

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

皆様，

九州産業大学の田中義人と申します．

例年行われている証明論を中心とした研究集会を，今年度はRIMS共同研究（公開型） 「証明論とその周辺」として，下記の要領で開催する予定です．

日程：2019年12月24日（火）-12月26日（木） 場所：京都大学15号館201教室 懇親会（予定）：12月24日（火）会費：4000円程度 Webページ：http://www.ip.kyusan-u.ac.jp/J/ms/event/pt19/proof_theory_2019.html

参加を希望される方は，11月8日（金）までに，[email protected]宛に， 以下の項目をご連絡ください．

・お名前 ・所属 ・e-mailアドレス ・講演の有無．講演有の場合は，タイトルおよび，講演時間や講演日時等のご希望 ・旅費援助希望の有無（申し込み状況によってはご希望に添えない場合があります） ・懇親会参加希望の有無

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

********************************* 田中義人

九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: [email protected] *********************************