[kisoron-ml] JAIST 多次元セミナー （１１月）

[Hiroakira Ono]

　　　　　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 at fos.kuis.kyoto-u.ac.jp
http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/kisoron-ml/attachments/20121016/30a401b7/attachment.html>