[logic-ml] JAIST 第41回多次元セミナーの開催

[Hiroakira Ono]

　　　　　JAIST 第41回多次元セミナーの開催について

　来る9月7日(金)に、下記のとおり北陸先端科学技術大学院大学
先端融合領域研究院主催による多次元セミナーを開催します。
　なお、本セミナーの参加申込等は不要ですので、直接、会場まで
お越しください。

　　　　　　　　　　　　記

　　1.日　　時　平成24年9月7日(金)  14:00～15:30

　　2.場　　所　JAIST 情報科学研究科講義棟2階　I3・I4

         http://www.jaist.ac.jp/general_info/access/index.html

　　3.講 演 者　
        Nikolaos Galatos,   Associate Prof.
        Department of Mathematics, University of Denver

　　4.講演題目　
       「Rediscovering Structural Proof Theory: an algebraic account」
　　  http://www.jaist.ac.jp/rcis/seminar/multi-dimension/41

　　5.担当教員　先端融合領域研究院
　　　　　　　　小野　寛晰
           http://www.jaist.ac.jp/rcis/en
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20120824/f0dba514/attachment.html>