みなさま

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

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

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

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

詳細は，

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

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

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

佐々木克巳