みなさま

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

佐々木克巳

On Sat, 11 Nov 2017 19:28:11 +0900 Katsumi Sasaki sasaki@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@nanzan-u.ac.jp wrote:

...

みなさま

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

11月3日

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

南山大学　佐々木克巳

On Tue, 5 Sep 2017 14:57:38 +0900 Katsumi Sasaki sasaki@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@nanzan-u.ac.jp

-- Katsumi Sasaki sasaki@nanzan-u.ac.jp

---

Logic-ml mailing list Logic-ml@fos.kuis.kyoto-u.ac.jp http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml