[logic-ml] Project colloquium talk by Jurriaan Rot and Kenta Cho on 9 November

[urabenatsuki at is.s.u-tokyo.ac.jp]

[Apologies for multiple copies]

Dear all,

Let me advertise our next ERATO MMSD project colloquium talk by Jurriaan
Rot and Kenta Cho on 9th November, 16:30-. Please find the title and the
abstract below. You are all invited.

Sincerely,
--
Natsuki Urabe
urabenatsuki at is.s.u-tokyo.ac.jp
The University of Tokyo, ERATO MMSD

----

Thu 9 November 2017, 16:30–18:45

ERATO MMSD Takebashi Site Common Room 3
http://group-mmm.org/eratommsd/access.html

16:30-17:30

Jurriaan Rot <http://jurriaan.me/> (Radboud University),
Traces and Triangles

In the theory of coalgebras, trace semantics can be defined in various
distinct ways, including through algebraic logics, the Kleisli category of
a monad or its Eilenberg-Moore category. I will talk about recent joint
work with Bart Jacobs, which elaborates two new unifying ideas in the
theory of coalgebraic trace semantics: 1) previous approaches can be placed
and connected in so-called state-and-effect triangles, that arise in the
semantics of programs; 2) coalgebraic trace semantics is naturally
presented in terms of corecursive algebras. This perspective puts the
different approaches under a common roof, and allows us to derive
conditions under which they coincide.

17:45-18:45

Kenta Cho <https://www.cs.ru.nl/K.Cho/> (Radboud University),

String diagrams in probability theory
String diagrams are a graphical language for monoidal categories, which has
become very popular in categorical quantum mechanics initiated by Abramsky
and Coecke. In this talk I will explain that string diagrams are also
useful for (classical) probability theory. The Kleisli categories of the
distribution and the Giry monad give concrete interpretation of string
diagrams, respectively, for discrete probability and general
measure-theoretic probability. Topics include disintegration, Bayesian
inversion, and conditional independence. The talk is based on joint work
with Bart Jacobs; see preprint https://arxiv.org/abs/1709.00322.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20171106/0e024fbc/attachment.html>