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:6406@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20210527T103000
DTEND;TZID=Europe/Paris:20210527T113000
DTSTAMP:20241120T201423Z
URL:https://www.i2m.univ-amu.fr/evenements/compositional-relational-reason
 ing-via-operational-game-semantics/
SUMMARY:Guilhem Jaber (LS2N\, Nantes): Compositional relational reasoning v
 ia operational game semantics
DESCRIPTION:Guilhem Jaber: \nWe use operational game models as a guide to d
 evelop relational techniques for establishing contextual equivalences with
  respect to contexts drawn from a hierarchy of four call-by-value higher-o
 rder languages\, with either general or ground-type references and with ei
 ther call/cc or no control operator. In game semantics\, the differences b
 etween the contexts can be captured by the absence or presence of the O-vi
 sibility and O-bracketing conditions.\nThe proposed technique\, which we c
 all Kripke Normal-Form Bisimulations\, combines insights from normal-form 
 bisimulation and Kripke-style logical relations with game semantics. In pa
 rticular\, the role of the heap is abstracted away using Kripke-style worl
 d transition systems. The differences between the four kinds of contexts m
 anifest themselves through simple local conditions that can be shown to co
 rrespond to O-visibility and O-bracketing\, where applicable.\nThe techniq
 ue is sound and complete by virtue of correspondence with operational game
  semantics. Moreover\, the framework developed in the paper sheds a new li
 ght on other related developments\, such as backtracking and private trans
 itions in Kripke logical relations\, which can be related to specific phen
 omena in game models.\nSlides: http://perso.ens-lyon.fr/pierre.clairambaul
 t/cgc/cgc190321.pdf\nLien en visio-conférence :\n\nhttps://greenlight.lal
 .cloud.math.cnrs.fr/b/lio-hdc-jef\n\n&nbsp\;\n\n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 021/04/Guilhem_Jaber.jpg
CATEGORIES:Séminaire,Logique et Interactions,Virtual event
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20210328T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR