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

下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による
多次元セミナーを開催します。

(I) 1. 日  時 平成24年11月9日(金)  15:15〜16:45

  2. 場  所 JAIST 知識科学研究科講義棟1階 K-1,2

  3. 講 演 者 Sebastiaan A. Terwijn
    Department of Mathematics, Radboud University
             Nijmegen

  4. 講演題目 Information distance

 =============

(II) 1. 日  時 平成24年11月13日(火) 13:15〜15:00

  2. 場  所 JAIST 知識科学研究科講義棟2階 K-3,4

  3. 講 演 者 Rosalie Iemhoff
    Department of Philosophy, Utrecht University

  4. 講演題目   Substitutions and rules

 ==============

なおすでにお知らせしましたように、つぎの講演が1日にあります。
          
  1. 日  時 平成24年11月1日(木)  15:00〜16:30

  2. 場  所 JAIST 知識科学研究科講義棟2階 中講義室

  3. 講 演 者 Melvin Fitting
    Department of Mathematics and Computer Science
             Lehman College, City University of New York

  4. 講演題目  Tableau/Sequent Duality

==============

これらの講演のアブストラクトは以下をご覧下さい

  http://www.jaist.ac.jp/rcis/seminars

また講演会場については以下をご覧下さい

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

北陸先端科学技術大学院大学先端融合領域研究院
   小野 寛晰、ノルベルト プライニング
   http://www.jaist.ac.jp/rcis/en
_______________________________________________
Logic-ml mailing list
[email protected]
http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml