RIMS共同研究(公開型)「証明論と証明活動」(証明論研究会2017)のご案内

例年行われている証明論・計算論を中心とした研究集会を,2017年度は、証明活動と関連させて開催しました. 多数のご講演・ご参加,ありがとうございました.


 日程:2017年12月25日(月)〜27日(水).
 場所:京都大学数理解析研究所420号室 アクセス
 プログラム:ここ
 懇親会は,ここで26日17:30から行いました.


講究禄(No.2083)はここで公開予定です.


・このページは,RIMS共同研究(公開型)(旧称 RIMS研究集会)のページからリンクされています.
・2016年度は証明論研究会はお休みでした.
・2015年度の証明論研究会情報は,こちらです.


世話人:佐々木克巳(南山大学理工学部) mail: sasaki[ at ]nanzan-u.ac.jp


最終更新日:2018/5/16