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:5055@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20240215T110000
DTEND;TZID=Europe/Paris:20240215T123000
DTSTAMP:20260107T152558Z
URL:https://www.i2m.univ-amu.fr/evenements/seminaire-lsc-newton-raphson-it
 eration-for-cartesian-differential-categories/
SUMMARY:Zeinab Galal (University of Bologna): Séminaire LSC: Newton-Raphso
 n iteration for Cartesian differential categories
DESCRIPTION:Zeinab Galal: Interactions between derivatives and fixpoints ha
 ve many important\napplications in both computer science and mathematics. 
 In this talk\, I will\npresent a categorical framework to combine fixpoint
 s with derivatives for\nCartesian differential categories with a fixpoint 
 operator by introducing an\nadditional axiom relating the derivative of a 
 fixpoint with the fixpoint of\nthe derivative. The standard examples of Ca
 rtesian differential categories\nwhere we can compute fixpoints provide ca
 nonical models of this notion. As an\napplication\, I will show how this f
 ramework is a suitable setting to formalize\nthe Newton-Raphson optimizati
 on for fast approximation of fixpoints and extend\nit to higher order lang
 uages. This is based on joint work with Jean-Simon\nPacaud Lemay.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - TPR2\, Amphithéâtre Herbrand 130-134 (1er étage)\,
  163 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\, Amph
 ithéâtre Herbrand 130-134 (1er étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20231029T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR