セミナー

発表言語 英語
開催日 2011年05月25日 16時30分
終了日 2011年05月25日 17時30分
開催場所京都大学数理解析研究所110号室
セミナー名談話会
タイトル Coalgebra, its Logic, and some of its Mathematical Environments 
分野 解析
その他
講演者名Yde Venema
講演者所属RIMS & University of Amsterdam
概要Computers and other electronic equipment are becoming more and
prominent, both in our daily life, and in society as a whole.
When we are confronted with undesired or incomprehensible behavior
of for instance our mobile phone, we will naively start reasoning
about the system, modelling it as a state-based evolving system,
that we can only observe as a black box.
Clearly, when it comes to specifying and reasoning about the
behavior of critical software systems, a sophisticated mathematical
theory is needed.

The theory of coalgebra, which has emerged from theoretical computer
science in the last two decades, provides a general, mathematical
framework for reasoning about such state-based evolving systems.
It combines mathematical simplicity with wide applicability, due to
its categorical foundations: many features such as input/output,
nondeterminism, probability, and interaction can be encoded in the
coalgebraic type which formally is a functor over Set (or some other
base category). Coalgebra allows us to give precise mathematical
definitions of notions such as behavior or observational equivalence
of systems. Logic naturally enters the picture since we want to
specify and reason about behavior in a formal way.

In the talk, we will give a very informal introduction and motivation
of coalgebra and coalgebraic logic. We then briefly explain the
dualities between algebra and coalgebra, and discuss the principle of
coinduction. In the second part of the talk we describe some of
the mathematical environments of the theory, and sketch how ideas
from coalgebraic logic can be used to generalize results in topology
(the Vietoris construction) and automata theory (Rabin's Theorem).
備考16:00より RIMS 1階ロビーで tea

◆ 多数のご来聴をお待ちしております.
◆ とくに院生の出席を歓迎します. 
リンクhttp://www.kurims.kyoto-u.ac.jp/ja/seminar/danwakai.html