Symposium on Probabilistic systems and SOS language theory

On Friday 13 November 2015, a symposium on probabilistic systems and SOS language theory will be held in room P423 building 1081A at VU Amsterdam, following the PhD defence of Daniel Gebler.

Programme

15:00 – 15:30
Joost-Pieter Katoen
Probabilistic Programming

15:30 – 16:00
Matthew Hennessy
Behavioural Equivalences for Co-operating Transactions

16:00 – 16:30
Matias David Lee
SOS rule formats for convex and abstract probabilistic bisimulations

16:30 – 17:00
Simone Tini
A Specification Format for Rooted Branching Bisimulation