みなさま

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

・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%EF%BC%89 ・プログラム：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 [email protected] 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 [email protected] http://www.kurims.kyoto-u.ac.jp/~terui/