BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:9046@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20260507T110000
DTEND;TZID=Europe/Paris:20260507T123000
DTSTAMP:20260507T132801Z
URL:https://www.i2m.univ-amu.fr/evenements/tba-294/
SUMMARY:Ralph Sarkis (University College London): Quantitative Diagrammatic
  Reasoning for Probabilistic Processes
DESCRIPTION:Ralph Sarkis: Algebraic structures and equational reasoning are
  fundamental tools in\nprogramming semantics since very early work in the 
 field. The study of\nprobabilistic programs poses several obstacles for th
 ese tools\, notably\nthe insignificance of exact equivalence and the need 
 for resource\nsensitivity. In this talk\, we introduce quantitative diagra
 mmatic\nreasoning as a solution to these two problems. This combines two\n
 well-known extensions of algebraic reasoning: quantitative equations and\n
 string diagrams. We will end with a case study where we give a\nquantitati
 ve diagrammatic axiomatization of relative entropy for\nstochastic matrice
 s. This is joint work with Fabio Zanasi.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - TPR2\, Salle de Séminaire 304-306 (3ème étage)\, 1
 63 Avenue de Luminy\, Marseille\, 13009\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars
 eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - TPR2\, Sall
 e de Séminaire 304-306 (3ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20260329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR