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:4841@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20230629T111500
DTEND;TZID=Europe/Paris:20230629T120000
DTSTAMP:20260107T155635Z
URL:https://www.i2m.univ-amu.fr/evenements/concurrent-realizability-on-con
 junctive-structures/
SUMMARY:Étienne Miquey (I2M): Concurrent Realizability on Conjunctive Stru
 ctures
DESCRIPTION:Étienne Miquey: This work aims at exploring the algebraic stru
 cture of concurrent processes and their behavior independently of a partic
 ular formalism used to define them. We propose a new algebraic structure c
 alled conjunctive involutive monoidal algebra (CIMA) as a basis for an alg
 ebraic presentation of concurrent realizability\, following ideas of the a
 lgebrization program already developed in the realm of classical and intui
 tionistic realizability. In particular\, we show how any CIMA provides a s
 ound interpretation of multiplicative linear logic. This new structure inv
 olves\, in addition to the tensor and the orthogonal map\, a parallel comp
 osition. We define a reference model of this structure as induced by a sta
 ndard process calculus and we use this model to prove that parallel compos
 ition cannot be defined from the conjunctive structure alone.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - Ancienne BU\, Salle Séminaire2 (RdC)\, 163 Avenue de
  Luminy\, 13009 Marseille\, France\, 
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, 1300
 9 Marseille\, France\, ;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - Ancienne B
 U\, Salle Séminaire2 (RdC):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20230326T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR