BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:8482@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20241212T110000
DTEND;TZID=Europe/Paris:20241212T123000
DTSTAMP:20241206T151512Z
URL:https://www.i2m.univ-amu.fr/evenements/partial-markov-categories-lsc/
SUMMARY:Mario Román (Oxford): Partial Markov Categories [LSC]
DESCRIPTION:Mario Román: Partial Markov categories are a careful blend of 
 Markov categories\n(from categorical probability theory) and cartesian res
 triction\ncategories (from the algebraic theory of partial computations).\
 nPartial Markov categories are an algebra and syntax for Bayesian\ninferen
 ce. They use a string diagrammatic syntax—with a formal\ncorrespondence 
 to programs—to reason about continuous and discrete\nprobability\, decis
 ion problems (Monty Hall\, Newcomb's)\, the\ncompositional properties of n
 ormalization\, and an abstract Bayes'\ntheorem. We will discuss the constr
 uction\, theory\, and applications of\npartial Markov categories\; and con
 textualize them in a line of\nresearch that tries to develop the internal 
 languages of monoidal and\nduoidal categories for probability\, causality\
 , and process\ndescription. The talk is based on multiple articles\, inclu
 ding joint\nwork with Paweł Sobociński\, Elena Di Lavore\, Matt Earnshaw
 \, and Bart\nJacobs
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:STANDARD
DTSTART:20241027T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR