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:6334@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20210909T110000
DTEND;TZID=Europe/Paris:20210909T123000
DTSTAMP:20241120T201405Z
URL:https://www.i2m.univ-amu.fr/evenements/coherent-differentiation/
SUMMARY:Thomas Ehrhard (IRIF\, Université de Paris): Coherent differentiat
 ion
DESCRIPTION:Thomas Ehrhard: The categorical models of the differential lamb
 da-calculus are additive categories because of the Leibniz rule which requ
 ires the summation of two expressions. This means that\, as far as the dif
 ferential lambda-calculus and differential linear logic are concerned\, th
 ese models feature finite non-determinism and indeed these languages are e
 ssentially non-deterministic.\nWe introduce a categorical framework for di
 fferentiation which does not require additivity and is compatible with det
 erministic models such as coherence spaces and probabilistic models such a
 s probabilistic coherence spaces. Based on this semantics we sketch the sy
 ntax of a deterministic differential PCF.\n\n   https://greenlight.lal.cl
 oud.math.cnrs.fr/b/lio-hdc-jef
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 021/08/thomas-ehrhard-e1629971739390.png
CATEGORIES:Séminaire,Hybrid,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20210328T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR