BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Making concurrency functional - Glynn Winskel\, Huawei Edinburgh R
 esearch Centre and Strathclyde University
DTSTART:20230519T130000Z
DTEND:20230519T140000Z
UID:TALK201217@talks.cam.ac.uk
CONTACT:Jamie Vicary
DESCRIPTION:This talk bridges between two major paradigms in computation\,
  the functional\, at basis computation from input to output\, and the inte
 ractive\, where computation reacts to its environment while underway. Cent
 ral to any compositional theory of interaction is the dichotomy between a 
 system and its environment. Concurrent games and strategies address the di
 chotomy in fine detail\, very locally\, in a distributed fashion\, through
  distinctions between Player moves (events of the system) and Opponent mov
 es (those of the environment). A functional approach has to handle the dic
 hotomy much more ingeniously\, through its blunter distinction between inp
 ut and output. This has led to a variety of functional approaches\, specia
 lised to particular interactive demands. Through concurrent games we can m
 ore clearly see what separates and connects the differing paradigms\, and 
 show how:\n\n— to lift functions to strategies\;  this helps in describi
 ng and programming strategies by functional techniques.\n\n— several par
 adigms of functional programming and logic arise naturally as subcategorie
 s of concurrent games\, including stable domain theory\; nondeterministic 
 dataflow\; geometry of interaction\; the dialectica interpretation\; lense
 s and optics\; and their extensions to containers in dependent lenses and 
 optics.\n\n— to transfer enrichments of strategies (such as to probabili
 stic\, quantum or real-number computation) to functional cases.\n\nThe tal
 k will focus on the second and third points above.
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR