AL（Algorithm & Logic）セミナー

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


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

今回のセミナーは JAIST 情報科学研究科 COE Project: Verifiable and Evolvable
e-Society および JAIST 研究プロジェクト LCCC (Logic for Cognition,
Computation and Communication) の一環として開催されます。

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

日時： 　2007年1月10日（水）(10th January (Wed), 2007) 15:30 -- 17:00

場所： 情報科学研究科 III 棟 5 階 コラボ7室
School of Information Science, 3rd bldg. 5th floor, Collab. Room 7

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

講演題目 (title)： Duality theory in the study of semigroups and automata

話題提供者 (speaker)： Mai Gehrke (Mathematical Institute, University of Oxford &
New Mexico State University)

Abstract : In this talk I will give a preliminary report on work joint with Jean-Eric Pin and
Serge Grigorieff, showing that two main theorems in semigroup theory as it relates to
automata theory, namely Reitermann's Theorem and Eilenberg's Theorem, are special
cases of Stone duality for distributive lattices with additional operations such as modal
algebras.


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

過去に開催された 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)