[logic-ml] 証明論研究集会2018のご案内（Reminder）

[Yoshihito Tanaka]

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

2018年度の証明論研究集会のご案内をお送りいたします．

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

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

日程：2018年12月22日（土）-12月24日（月）
場所：九州産業大学12号館12101教室
懇親会：12月22日（土）18:00-20:00．九州産業大学8号館1階クラブハウス，会費：4000円
Webページ：http://www.ip.kyusan-u.ac.jp/J/ms/event/pt18/proof_theory_2018.html

講演を希望される方および懇親会参加希望の方は，12月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
*********************************