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:8481@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20241206T110000
DTEND;TZID=Europe/Paris:20241206T123000
DTSTAMP:20241202T152238Z
URL:https://www.i2m.univ-amu.fr/evenements/coalgebraic-causal-processes-ls
 c/
SUMMARY:Elena Di Lavore (Pisa): Coalgebraic causal processes [LSC]
DESCRIPTION:Elena Di Lavore: Effectful streams are a coinductive semantic u
 niverse for\neffectful dataflow programs. Under some conditions\, effectfu
 l streams\ngeneralise causal stream functions\, which are classically know
 n to give\nthe traces of deterministic Mealy machines. In the same way\, e
 ffectful\nstreams give trace semantics to effectful Mealy machines.\nWe de
 fine effectful bisimulation\, generalising the coalgebraic\ndefinition of 
 bisimulation.
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:STANDARD
DTSTART:20241027T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR