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:5759@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20230202T110000
DTEND;TZID=Europe/Paris:20230202T123000
DTSTAMP:20241120T200209Z
URL:https://www.i2m.univ-amu.fr/evenements/toposes-for-monoid-actions-for-
 complexity-theory/
SUMMARY:Morgan Rogers (LIPN\, Université Sorbonne Paris Nord): Toposes for
  monoid actions for complexity theory
DESCRIPTION:Morgan Rogers: This talk has three parts. First\, I want to exp
 lain how common models of computation can be presented as monoid acts\, wh
 ich motivates the perspective on monoid acts as generalized models of comp
 utation.\nSecond\, I will sketch my thesis work on categories of actions o
 f topological monoids. Third\, if there is time\, I would like to explain 
 how this work would need to be extended in order to capture the monoid act
 s from the first part\, point out some obstacles that need to be overcome\
 , and give some intuition on what building such a topos-theoretic context 
 could provide. Note that while I will give complexity-theoretic motivation
 \, I want to apply this theory to monoid and group acts of all kinds\, so 
 feel free to ask questions about your favourite ones.\nL’exposé sera é
 galement retransmis ici :\nhttps://greenlight.lal.cloud.math.cnrs.fr/b/li
 o-hdc-jef\n\n\nSéminaire Logique et Interactions\n&nbsp\;
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 023/01/Morgan_Rogers.png
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:STANDARD
DTSTART:20221030T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR