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:5062@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20240222T110000
DTEND;TZID=Europe/Paris:20240222T123000
DTSTAMP:20260107T152326Z
URL:https://www.i2m.univ-amu.fr/evenements/2-dimensional-monads-and-concur
 rency/
SUMMARY:Hugo Paquet (LIPN): 2-Dimensional Monads and Concurrency
DESCRIPTION:Hugo Paquet: This talk is about 2-dimensional categories (2-cat
 egories or bicategories) in semantics. A number of recent denotational mod
 els are defined as bicategories (typically based on games\, spans\, or pro
 functors) and many traditional models are already 2-categorical (e.g. cate
 gories of domains\, or models for non-determinism)\, so it is important to
  develop this theory.\n\nThis talk is about 2-dimensional monads (2-monads
  or pseudomonads). First I will give some new results that extend the trad
 itional 1-dimensional theory of strong and commutative monads. These resul
 ts can be used to reason about the sequencing of effectful programs in 2-d
 imensional semantic models.\n\nThen\, I will introduce "concurrent" 2-mona
 ds\, which can be used to reason about programs composed either sequential
 ly or in parallel. Concurrent 2-monads sit strictly between strong and com
 mutative 2-monads\, but this level is invisible in the 1-dimensional setti
 ng\, because it requires non-invertible 2-cells. To illustrate and motivat
 e these definitions I will use the double-negation monad in concurrent gam
 es.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - TPR2\, Amphithéâtre Herbrand 130-134 (1er étage)\,
  163 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\, Amph
 ithéâtre Herbrand 130-134 (1er étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20231029T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR