講演会を10月28日(木)に開催します。

情報科学セミナー
［日時］ 2010年10月28日（木）10時30分-11時30分
［講演タイトル］ From Bisimulations to Logics for Reversibily
［講演者］ Irek Ulidowski (University of Leicester)
[講演概要]
The talk will report on several new bisimulations for reversible
computation (as well as several other bisimulations previously
considered in other context). Then we shall introduce new modal
logics that characterise fully these bisimulstions on stable
configuration structures.
［場所］ 名古屋大学 IB電子情報館中棟1階　013講義室
［お問い合わせ先］ 名古屋大学 大学院情報科学研究科 情報システム学専攻　結縁　電話番号：052-789-3649
［コメント］ 参加費は無料です。どなたでもご聴講頂けます。奮ってご参加ください。

開催日：2010/10/28