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