AL（Algorithm & Logic）セミナー

第 118回 ALセミナーのお知らせ


JAIST ではロジックを中心に情報科学の理論的な分野の話題をテーマにして
ALセミナーを開催しています。興味をおもちの方はどなたでもフラリと気楽
におたちより下さい。

今回のセミナーは JAIST 情報科学研究科 COE Project: Verifiable and Evolvable
e-Society の一環として開催されます。

********************************************************************

日時： 　2007年11月29日（木）(29th November (Thu), 2007) 15:00 -- 16:30

場所： 情報科学研究科 II 棟 5 階 コラボ 6
School of Information Science, 2nd bldg. 5th floor, collaboration room No.6

-------------------------------------------------------

講演題目 (title)： Completion and finite embeddability property for residuated ordered algebras

話題提供者 (speaker)： Clint van Alten (Univ. of Witwatersrand, South Africa)

Abstract : (See the attached pdf file.)


===========================================================
今回の世話人： 小野　寛晰
===========================================================

過去に開催された AL セミナーについては以下のホームページをご覧下さい。

　http://www.jaist.ac.jp/is/labs/ono-ishihara-lab/ono-lab/ALseminars/al-seminars.html

AL セミナーに関する一般的なお問い合わせは以下にどうぞ。

〒923-1292 石川県能美市 旭台 1-1　北陸先端科学技術大学院大学（JAIST）

東条 敏 (tojo@jaist.ac.jp)
小野 寛晰 (ono@jaist.ac.jp)