5 Sep
2017
5 Sep
'17
2:57 p.m.
みなさま
標記の研究集会
研究題目：証明論と証明活動 日程：2017年12月25日(月)〜27日(水) 場所：京都大学数理解析研究所420号室
の講演募集などの案内を
http://www.st.nanzan-u.ac.jp/info/sasaki/2017rims/rims2017.html
に載せましたので，ご連絡させていただきます．講演等の申込締切が，早目で，
11月3日
にさせていただいておりますのでご注意ください．
詳細は，上記のURLにありますが，関連する話題をお持ちでしたら，是非とも講演をご検討ください ますようお願いいたします．
南山大学 佐々木克巳