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. 日 時 平成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 Logic-ml@fos.kuis.kyoto-u.ac.jp http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml