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:7061@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20190425T110000
DTEND;TZID=Europe/Paris:20190425T123000
DTSTAMP:20241120T203409Z
URL:https://www.i2m.univ-amu.fr/evenements/probabilistic-stable-functions-
 on-discrete-cones-are-power-series/
SUMMARY:Raphaëlle Crubillé (IMDEA Software Institute\, Madrid): Probabili
 stic stable functions on discrete cones are power series
DESCRIPTION:Raphaëlle Crubillé: The category of probabilistic coherence s
 paces (PCoh_!)\, introduced by Danos and Ehrhard\, is a fully abstract mod
 el for PCF with *discrete* probabilities\, where morphisms can be seen as 
 power series. The category Cstab_m\, of measurable cones and measurable st
 able functions\, has been introduced by Ehrhard\, Pagani and Tasson as a m
 odel for PCF with *continuous* probabilities.\nIn this talk\, we will stud
 y the shape of stable functions when they are between discretecones: we wi
 ll show that they can actually be seen as generalized power series. The pr
 oof is based on a generalization of a theorem from real analysis due to Be
 rnstein\, that states that all absolutely monotonous functions on reals ar
 e power series. From there\, we will build a full and faithful functor fro
 m PCoh_! into Cstab_m that moreover preserves the cartesian closed structu
 re.
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Raphaelle_Crubille.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20190331T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR