16 Mar
2017
16 Mar
'17
3:08 p.m.
みなさま
標記の共同研究として，以下の研究集会を開催します．
研究題目：証明論と証明活動 日程：2017年12月25日(月)〜27日(水) 場所：京都大学数理解析研究所420号室
証明論・計算論・証明活動に関連する話題の講演を広く募集します．お忙しい時期かと思いますが，是非とも、講演・参加をご計画ください．
講演される学生の方には，旅費の援助があります．
詳細は，
http://www.st.nanzan-u.ac.jp/info/sasaki/2017rims/rims2017.html
で案内していく予定です．
世話人：南山大学 佐々木克巳
佐々木克巳
--
sasaki [email protected]