| 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 |