RIMS共同研究（公開型）「証明論と証明活動」（証明論研究会2017）のご案内
例年行われている証明論・計算論を中心とした研究集会を，2017年度は、証明活動と関連させて開催しました．
多数のご講演・ご参加，ありがとうございました．
日程：2017年12月25日(月)〜27日(水)．
場所：京都大学数理解析研究所420号室 アクセス
プログラム：ここ
懇親会は，ここで26日17:30から行いました．
講究録(No.2083)はここで公開されています．印刷物が必要な方は世話人までお問い合わせください．
・このページは，RIMS共同研究（公開型）（旧称 RIMS研究集会）のページからリンクされています．
・2018年度の証明論研究会情報は，こちらです．
・2016年度は証明論研究会はお休みでした．
・2015年度の証明論研究会情報は，こちらです．
世話人：佐々木克巳(南山大学理工学部) mail: sasaki[ at ]nanzan-u.ac.jp
最終更新日：2018/12/25