[logic-ml] クリスマス・ワークショップ「証明論・計算論とその周辺」

[Kazushige TERUI]

みなさま

下記の通り研究集会を開催します。
クリスマス期間中ではありますが、よろしければぜひご参加ください。

・RIMS研究集会「証明論・計算論とその周辺」
　http://www.kurims.kyoto-u.ac.jp/~terui/proof2014.html
・日時：2014年12月24日（水）13:20 − 26日（金）15:40
・場所：京都大学 数理解析研究所 １１１号室
　（交通アクセス：http://www.kurims.kyoto-u.ac.jp/ja/access-01.html）
・プログラム：http://www.kurims.kyoto-u.ac.jp/~terui/program2014.pdf
・懇親会：12月25日18時より「くれしま」にて。会費4,000円。
　http://r.gnavi.co.jp/bvfb2hsb0000/
・懇親会参加希望の方は12月18日（木）までにご連絡ください。

------------------------------------------
Kazushige TERUI
Research Institute for Mathematical Sciences,
Kyoto University.
Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN.
Phone: +81-75-753-7235
Fax: +81-75-753-7276
terui at kurims.kyoto-u.ac.jp
http://www.kurims.kyoto-u.ac.jp/~terui/


------------------------------------------
Kazushige TERUI
Research Institute for Mathematical Sciences,
Kyoto University.
Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN.
Phone: +81-75-753-7235
Fax: +81-75-753-7276
terui at kurims.kyoto-u.ac.jp
http://www.kurims.kyoto-u.ac.jp/~terui/