(sigemb-info 412) Talks by Chris Heunen (Nijmegen) and Bartek Klin (Cambridge), Tuesday 10.00h at RIMS, Kyoto U.

[Ichiro Hasuo <ichiro@xxxxxxxxxxxxxxxxxxxx>]

Dear colleagues,

Tomorrow at ***10.00am*** our guests Chris Heunen (Radboud
U. Nijmegen, NL) and Bartek Klin (Cambridge U. and Warsaw U.) are
making talks: Chris about toposes, locales and (quantum) logics;
Bartek about bialgebraic techniques for process algebras. No
registration necessary. See you there!

Best regards,
Ichiro Hasuo
---
RIMS-CS website
http://www.kurims.kyoto-u.ac.jp/~cs/

=====
Chris Heunen (Radboud Univ. Nijmegen)
A (topo)logical structure for state spaces
10.00 - 11.00, Tuesday 9 June 2009
CS Laboratory, RIMS, Kyoto University
(See http://www.kurims.kyoto-u.ac.jp/~cs/lab.html for direction)

Topology can be generalised in at least two directions: pointless
topology, leading ultimately to topos theory, or noncommutative
geometry. The former has the advantage that it also carries a
logical structure, the latter captures quantum settings, of which
the logic is not well understood generally. We discuss a
construction making a generalised space in the latter sense into
a generalised space in the former sense, i.e. making a
noncommutative C*-algebra into a locale. This construction has
the flavour of microcosm techniques.

=====
Bartek Klin (Cambridge Univ. & Warsaw Univ.)
SOS for weighted transition systems
11.00 - 12.00, Tuesday 9 June 2009
CS Laboratory, RIMS, Kyoto University
(See http://www.kurims.kyoto-u.ac.jp/~cs/lab.html for direction)

Weighted transition systems (WTSs) generalize ordinary labeled
transition systems in that transitions are equipped with weights,
taken from a commutative monoid. Examples of WTSs include
labeled, probabilistic, stochastic, cost-labeled and other kinds
of systems.

WTSs can be uniformly understood as coalgebras for functors of a
certain shape. Using bialgebraic techniques, I will present a
syntactic format of Stuctural Operational Semantics for
well-behaved inductive definition of WTSs. The format generalizes
previously known formats defined for specific kinds of systems.