第 33 回 NUEセミナーのお知らせ
東北大学・電気通信研究所・外山研究室ではNUEセミナーを開催しています。 テーマはプログラム理論や定理自動証明を中心に、情報科学の理論的なさまざ まな話題をとりあげています。興味をおもちの方はどなたでもフラリと気楽に おたちより下さい。
*********************************************
日時： ５月２３日（木） １４：００ -- １５：３０
場所： 東北大学・電気通信研究所・２号館・４階 中会議室 (W401)
*********************************************
講演
話題提供者： Irek Ulidowski (University of Leicester)
題目： Modelling of bonding with processes ad events
概要：
We introduce two forms of modelling of systems that consist of objects that are combined together by the means of bonds. In reaction systems for bonding we define how bonds are created and dissolved via reduction-style semantics. The usefulness of reaction systems is illustrated with examples taken from software engineering and biochemistry. We also introduce reversible event structures and define the notion of configuration. We then discuss how to give semantics of reaction systems for bonding in terms of reversible event structures.
==============================================
NUEセミナーに関する問い合わせは以下にどうぞ。
外山 芳人
〒980-8577 仙台市 青葉区 片平 2-1-1 東北大学 電気通信研究所
TEL 022 217 5449 FAX 022 217 5452 MAIL [email protected]