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

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


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



※講究禄を発行します.講演者の方は,研究会中に依頼させたいただいたとおり,3月15日までに原稿の提出お願いいたします.


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


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


最終更新日:2018/1/4