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:7038@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20190523T110000
DTEND;TZID=Europe/Paris:20190523T123000
DTSTAMP:20241120T202655Z
URL:https://www.i2m.univ-amu.fr/evenements/concurrent-games-with-side-info
 rmation/
SUMMARY:Aurore Alcolei (LIP\, ENS Lyon): Concurrent Games with side-informa
 tion
DESCRIPTION:Aurore Alcolei: Game semantics is an interactive denotational s
 emantics: a denotation specifies the behaviour of a term/proof with respec
 t to its environment. As such it is one of the most intensional model avai
 lable in the Curry-Howard community.\nDespite their intensional persprecti
 ve\, game models still omit a number of computational informations by hidi
 ng away internal reductions. This power of abstraction is at the core of t
 he methodology of denotational semantics in that it aims to provide invari
 ants under reduction. Yet\, in some cases\, this abstraction is too strong
  and prevents to capture some desirable informations.\nIn this talk\, I wi
 ll present how the model of concurrent game and strategies on event struct
 ures can be naturally extended with annotations from any (in)equational th
 eory to keep track of side-information\, that is information that may vary
  with interactions but does not influence their outcomes.\nDepending on ti
 me and audience's interest\, I will present this construction through two 
 independent results: on the logic side I will show how this model instanti
 ated with terms can be used to give a new interpretation and proof of the 
 Herbrand's theorem\; on the programming side I will introduce a semantics 
 for R-IPA\, a concurrent programming language with shared memory and an op
 erational semantics keeping track of resource consumption\, based on an in
 stantiation of that same model with annotations being functions over reals
 .
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 019/05/Aurore_Alcolei.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20190331T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR