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:8687@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20250605T110000
DTEND;TZID=Europe/Paris:20250605T123000
DTSTAMP:20250527T154213Z
URL:https://www.i2m.univ-amu.fr/evenements/getting-thin-spans-in-order/
SUMMARY:Victor Blanchi (LIS\, Aix-Marseille): Getting thin spans in order
DESCRIPTION:Victor Blanchi: Recently\, Clairambault and Forest introduced t
 he cartesian closed\nbicategory of thin spans of groupoids. It is a proof-
 relevant\ndenotational model\, akin to Fiore et al's categorification of t
 he\nrelational model\, generalized species of structure. However\, unlike\
 ngeneralized species\, it is concrete\, in the sense that its structural\n
 operations (composition etc) involve no quotient. It achieves this by\nmim
 icking the bicategory of thin concurrent games\, and in particular\ntheir 
 handling of symmetry. The interpretation of lambda-calculi in thin\nspans 
 is close to that in concurrent games\, while avoiding all the\ncombinatori
 al machinery of event structures. However\, thin spans only\nwitness *comp
 lete* states of computation\, where game semantics also\nrecord all the in
 termediate stages and their chronological or causal\nconstraints.\n\nThe p
 roposed talk concerns a work in progress towards the construction\nof a ne
 w proof-relevant denotational model\, a cartesian closed\nbicategory of "o
 rdered thin spans". Ordered thin spans extend thin spans\nwith an addition
 al order relation\, a categorification of the inclusion\nbetween configura
 tions in concurrent games. The basic objects of this\nbicategory are certa
 in "ordered groupoids"\, groupoids with a partial\norder relation *on obje
 cts* satisfying additional conditions. We will\npresent the construction o
 f this new model\, along with preliminary\nresults on its use for semantic
  purposes and its relationship with thin\nconcurrent games.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - TPR2\, Salle de Séminaire 304-306 (3ème étage)\, 1
 63 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\, Sall
 e de Séminaire 304-306 (3ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20250330T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR