Évènement

Ralph Sarkis
University College London
https://ralphs16.github.io/

Date(s) : 07/05/2026   iCal
11h00 - 12h30

Algebraic structures and equational reasoning are fundamental tools in
programming semantics since very early work in the field. The study of
probabilistic programs poses several obstacles for these tools, notably
the insignificance of exact equivalence and the need for resource
sensitivity. In this talk, we introduce quantitative diagrammatic
reasoning as a solution to these two problems. This combines two
well-known extensions of algebraic reasoning: quantitative equations and
string diagrams. We will end with a case study where we give a
quantitative diagrammatic axiomatization of relative entropy for
stochastic matrices. This is joint work with Fabio Zanasi.

Emplacement
I2M Luminy - TPR2, Salle de Séminaire 304-306 (3ème étage)

Catégories

• Séminaire