[logic-ml] RIMS共同研究（公開型）「証明論と証明活動」のご案内

[Katsumi Sasaki]

みなさま

　標記の研究集会

　　　研究題目：証明論と証明活動
　　　日程：2017年12月25日(月)〜27日(水) 
　　　場所：京都大学数理解析研究所420号室

の講演募集などの案内を

         http://www.st.nanzan-u.ac.jp/info/sasaki/2017rims/rims2017.html    

に載せましたので，ご連絡させていただきます．講演等の申込締切が，早目で，

　　11月3日

にさせていただいておりますのでご注意ください．

　詳細は，上記のURLにありますが，関連する話題をお持ちでしたら，是非とも講演をご検討ください
ますようお願いいたします．

南山大学　佐々木克巳