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

[Katsumi Sasaki]

みなさま

　標記の共同研究として，以下の研究集会を開催します．

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

　証明論・計算論・証明活動に関連する話題の講演を広く募集します．お忙しい時期かと思いますが，是非とも、講演・参加をご計画ください． 

　講演される学生の方には，旅費の援助があります． 

　詳細は，

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

で案内していく予定です．

世話人：南山大学　佐々木克巳

佐々木克巳
-- 
sasaki <sasaki at nanzan-u.ac.jp>