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:5217@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20241003T103000
DTEND;TZID=Europe/Paris:20241003T120000
DTSTAMP:20240926T120126Z
URL:https://www.i2m.univ-amu.fr/evenements/a-recipe-for-the-semantics-of-r
 eversible-programming-lsc/
SUMMARY:Louis Lemonnier (Edinburgh): A recipe for the semantics of reversib
 le programming [LSC]
DESCRIPTION:Louis Lemonnier: In this presentation\, we explore the foundati
 onal elements required to\ninterpret reversible programming within a categ
 orical framework. We use the\nsymmetric pattern-matching language introduc
 ed by Sabry\, Valiron\, and Vizzotto\nas a reference point\, and we incorp
 orate several improvements. We show that\ninductive data types and recursi
 on can also be effectively modeled in this\nsetting. However\, these resul
 ts do not straightforwardly extend to the pure\nquantum case. We provide i
 nsights into the challenges encountered and propose\npotential directions 
 for addressing these limitations.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:Luminy - LIS\, salle 04.05\, Campus de Luminy\, Marseille\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=Campus de Luminy\, Marseill
 e\, France;X-APPLE-RADIUS=100;X-TITLE=Luminy - LIS\, salle 04.05:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20240331T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR