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:6049@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20220512T110000
DTEND;TZID=Europe/Paris:20220512T123000
DTSTAMP:20241120T200725Z
URL:https://www.i2m.univ-amu.fr/evenements/deconstructing-tarskis-calculus
 -of-relations-with-tape-diagrams/
SUMMARY:Filippo Bonchi (Università degli Studi di Pisa): Deconstructing T
 arski's calculus of relations with Tape diagrams
DESCRIPTION:Filippo Bonchi: The category Rel of sets and relations carries 
 two different monoidal tensors given by disjoint union (particles interpre
 tation) and Cartesian product (waves).\nTape diagrams provides an intuitiv
 e graphical language for expressing arrows of categories with two tensors.
  In this talk\, we shows that certain tape diagrams\, namely those where t
 he additive structure form a finite biproduct category and the multiplicat
 ive structure a Cartesian bicategory\, are complete with respect to Rel. I
 n particular\, this provides a sound and complete system of axioms for coh
 erent logic and thus the positive fragment of Tarski's calculus of relatio
 ns.\nL’exposé sera retransmis ici :\nhttps://greenlight.lal.cloud.math.
 cnrs.fr/b/lio-hdc-jef\n\n&nbsp\;
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 022/05/Filippo_Bonchi.jpg
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:20220327T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR