[TYPES/announce] VeriProP 2023 - Call for Participation

and Benjamin Kaminski - Construction and verification of infinite-dimensional samplers - William Smith and Fredrik Dahlqvist - Semantics for Cyclic Bayesian Networks - Nikolai Käfer Organization - Michele Chiari, TU Wien - Fredrik Dahlqvist, Queen Mary University of London

[TYPES/announce] VeriProP 2023 - Final Call for Participation

(TU Dresden), Probability-raising Causality in Markov Decision Processes 14:45 - Eric Atkinson, Ellie Y. Cheng, Guillaume Baudart, Louis Mandel and Michael Carbin, Verifying Performance Properties of Probabilistic Inference 15:00 - William Smith and Fredrik Dahlqvist, Construction and verification