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:9047@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20260416T110000
DTEND;TZID=Europe/Paris:20260416T123000
DTSTAMP:20260507T132541Z
URL:https://www.i2m.univ-amu.fr/evenements/tropical-geometry-of-probabilis
 tic-programming-languages/
SUMMARY:Davide Barbarossa (LIP\, ENS Lyon): Tropical Geometry of Probabilis
 tic Programming Languages
DESCRIPTION:Davide Barbarossa: I will discuss my last work with Paolo Pisto
 ne (ENS-Lyon)\, that we just\npresented at POPL.\n\nIn the last few years 
 there has been a growing interest towards methods\nfor statistical inferen
 ce based on computational geometry and\, notably\,\ntropical geometry. At 
 the same time\, recent work has demonstrated the\npossibility of interpret
 ing higher-order probabilistic programming\nlanguages in the framework of 
 tropical mathematics\, by exploiting\ncategorical tools coming from the se
 mantics of linear logic. In this\nwork we combine these two worlds\, showi
 ng that tools and ideas from\ntropical geometry can be used to express and
 \, with luck\, perform\nstatistical inference over higher-order probabilis
 tic programs.\n\nI will give an overview of the paper and we may dig into 
 some more\nspecific topics depending on the time and our wish.
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