Tuesday 6 June | Wednesday 7 June | |

10:00 - 11:00 | Panangaden: Epistemic Logic,
Probability,
Information | Sophia Knight: A probabilistic logic |

11:00 - 11:30 | Break | Break |

11:30 - 12:30 | Palamidessi: Probabilistic Anonymity | Doina Precup: Bayesian Networks |

12:30 - 2:00 | Lunch | |

2:00 - 3:00 | Kostas Chatzikokolakis: Information and Anonymity | Peng Wu: Probabilistic Pi-calculus in Prism |

3:00 - 3:30 | Break | Break |

3:30 - 4:30 | Sardaouna Hamadou | Pradalier 3:30 - 4 and Beauxis 4:00- 4:30 |