みなさま
仮プログラムにミスがあり、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