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

[Katsumi Sasaki]

みなさま

　標記の研究会ですが，講演等の申し込み締め切りが、

11月3日

で，あと10日ほどになります。関連する話題をお持ちでしたら、是非とも講演を
ご検討ください。参加だけの方も上の期日までご連絡いただけるとありがたいです．
講演する学生の方には，旅費の援助があります．

南山大学　佐々木克巳


On Tue, 5 Sep 2017 14:57:38 +0900
Katsumi Sasaki <sasaki at nanzan-u.ac.jp> wrote:

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


-- 
sasaki <sasaki at nanzan-u.ac.jp>