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

[Katsumi Sasaki]

みなさま

　仮プログラムにミスがあり、19:59に更新しています。

佐々木克巳

On Sat, 11 Nov 2017 19:28:11 +0900
Katsumi Sasaki <sasaki at nanzan-u.ac.jp> wrote:

> みなさま
> 
> 　標記の研究会につきまして、多数の方からご連絡いただきました。
> ありがとうございます。
> 
> 　仮プログラムを
> 
>      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>
> 
> _______________________________________________
> Logic-ml mailing list
> Logic-ml at fos.kuis.kyoto-u.ac.jp
> http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml


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