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:6209@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20211216T110000
DTEND;TZID=Europe/Paris:20211216T123000
DTSTAMP:20241120T200935Z
URL:https://www.i2m.univ-amu.fr/evenements/geometry-of-interaction-for-zx-
 diagrams/
SUMMARY:Kostia Chardonnet (LRI\, Paris-Saclay + IRIF\, Université de Paris
 ): Geometry of Interaction for ZX-Diagrams
DESCRIPTION:Kostia Chardonnet: ZX-Calculus is a versatile graphical languag
 e for quantum computation equipped with an equational theory. Getting insp
 iration from Geometry of Interaction\, in this work we propose a token-mac
 hine-based asynchronous model of both pure ZX-Calculus and its extension t
 o mixed processes.\n\nWe also show how to connect this new semantics to th
 e usual standard interpretation of ZX-diagrams. This model allows us to ha
 ve a new look at what ZX-diagrams compute\, and give a more local\, operat
 ional view of the semantics of ZX-diagrams.\n\nVisio:\n\n  https://greenl
 ight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef\n\n\n&nbsp\;
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 021/11/Kostia_Chardonnet.jpg
CATEGORIES:Séminaire,Logique et Interactions,Virtual event
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20211031T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR