[logic-ml] NUE seminar (33)

[Yoshihito Toyama]

                   第 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 toyama at nue.riec.tohoku.ac.jp