例年行われている証明論を中心とした研究集会です．今年度は下記の要領で開催する予定です．
講演を希望される方および懇親会参加希望の方は，12月10日（月）17:00までに，ytanaka[ at ]ip.kyusan-u.ac.jp宛に，以下の項目をご連絡ください．聴講のみで懇親会に不参加の場合，参加申し込みは不要です．
過去の証明論研究集会： 2015年度証明論研究集会，2017年度証明論研究集会
世話人：田中義人 （九州産業大学） mail: ytanaka[ at ]ip.kyusan-u.ac.jp