String Diagrammatic Probabilistic Logic: Specification and Modelling Languages

To recent exploit advances in high-level approaches to probabilistic modelling (Markov categories, conditioning, partial Markov categories) and in string diagrammatic approaches to logic (cartesian bicategories for regular logic, discrete cartesian restriction categories) to develop expressive and principled graphical specification languages for probabilistic applications. This project will bring together experts on string diagrammatic logic with experts in Markov categories to work on uniting the two approaches.