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

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