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:4991@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20231207T110000
DTEND;TZID=Europe/Paris:20231207T123000
DTSTAMP:20260107T153848Z
URL:https://www.i2m.univ-amu.fr/evenements/seminaire-lsc-glynn-winskel/
SUMMARY:Glynn Winskel (Huawei Edinburgh Research Centre and Strathclyde Uni
 versity): Making concurrency functional
DESCRIPTION:Glynn Winskel: This talk bridges between two major paradigms in
  computation\, the functional\, at basis computation from input to output\
 , and the interactive\, where computation reacts to its environment while 
 underway. Central to any compositional theory of interaction is the dichot
 omy between a system and its environment. Concurrent games and strategies 
 address the dichotomy in fine detail\, very locally\, in a distributed fas
 hion\, through distinctions between Player moves (events of the system) an
 d Opponent moves (those of the environment). A functional approach has to 
 handle the dichotomy much more ingeniously\, through its blunter distincti
 on between input and output. This has led to a variety of functional appro
 aches\, specialised to particular interactive demands. Through concurrent 
 games we can more clearly see what separates and connects the differing pa
 radigms\, and show how:\n\n 	to lift functions to strategies\; this helps 
 in describing and programming strategies by functional techniques.\n 	seve
 ral paradigms of functional programming and logic arise naturally as subca
 tegories of concurrent games\, including stable domain theory\;nondetermin
 istic dataflow\; geometry of interaction\; the dialectica interpretation\;
  lenses and optics\; and their extensions to containers in dependent lense
 s and optics.\n 	to transfer enrichments of strategies (such as to probabi
 listic\, quantum or real-number computation) to functional cases.\n\nThe t
 alk will focus on the second and third points above.\n\n(Details can be fo
 und in the expanded version of my LICS'23 paper at https://arxiv.org/abs/2
 202.13910)
CATEGORIES:Séminaire,Logique et Interactions,LSC
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