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

[Katsumi Sasaki]

みなさま

　標記の研究会につきまして、多数の方からご連絡いただきました。
ありがとうございます。

　仮プログラムを

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

に公開しました。

　講演申し込みされた方で、名前が載っていない、内容が違う等のご指摘や、
追加の情報（タイトルが決まったなど）がありましたら、11月14日までに世話
人までご連絡ください。

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


On Tue, 24 Oct 2017 13:11:50 +0900
Katsumi Sasaki <sasaki at nanzan-u.ac.jp> wrote:

> みなさま
> 
> 　標記の研究会ですが，講演等の申し込み締め切りが、
> 
> 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>


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