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

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月10日（月）17:00までに， [email protected]宛に，以下の項目をご連絡ください． 聴講のみで懇親会に不参加の場合，参加申し込みは不要です．

お名前 所属 e-mailアドレス 講演の有無．講演有の場合は，タイトルと講演時間や講演日時等のご希望 懇親会参加希望の有無

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

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