[logic-ml] JAIST 多次元セミナー (11月1日)
Hiroakira Ono
ono at jaist.ac.jp
Sat Oct 6 16:47:23 JST 2012
JAIST 第43回 多次元セミナーの開催に
ついて
下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による
多次元セミナーを開催します。
1. 日 時 平成24年11月1日
(木) 15:00〜16:30
2. 場 所 JAIST 知識科学研究科講義棟2
階 中講義室
http://www.jaist.ac.jp/general_info/access/index.html
3. 講 演 者 Prof. 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/seminar/multi-dimension/43
北陸先端科学技術大学院大学先端融合領域研究院
小野 寛晰
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/20121006/ff84ee95/attachment.html>
More information about the Logic-ml
mailing list