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

[Yoshihito Tanaka]

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

皆様，

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

例年行われている証明論を中心とした研究集会を，今年度は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日（金）までに，ytanaka at ip.kyusan-u.ac.jp宛に，
以下の項目をご連絡ください．

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

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

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

九州産業大学経済学部
813-8503 福岡市東区松香台2-3-1
092-673-5216 (直通)
e-mail: ytanaka at ip.kyusan-u.ac.jp
*********************************