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:7606@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20170316T110000
DTEND;TZID=Europe/Paris:20170316T120000
DTSTAMP:20241120T204424Z
URL:https://www.i2m.univ-amu.fr/evenements/relational-graph-models-and-obs
 ervational-theories/
SUMMARY:Domenico Ruoppolo  (LIPN\, Université Paris 13): Relational graph 
 models and observational theories
DESCRIPTION:Domenico Ruoppolo : On présente les modèles de graphes relati
 onnels (rgm)\, une sous-classe des modèles relationnels du lambda-calcul 
 pur (les objects réflexifs dans la catégorie cartésienne fermée MRel e
 ngendrée par la sémantique relationnelle de LL). Les rgm sont une versio
 n relationnelle à la fois des modèles de graphes et des modèles filtres
 .\n\nNous nous servons des rgm pour obtenir la full abstraction (adéquati
 on complète) par rapport à deux différentes théories observationnelles
  : celle qui considère les formes normales de tête comme termes observab
 les (connu sous le nom de théorie H) et celle qui prend les formes beta-n
 ormales comme observables (théories de Morris). Non seulement nous trouvo
 ns des modèles fully abstract\, mais nous donnons une solution exhaustive
  au problème\, en caractérisant tout rgm ayant la théorie H ou la théo
 rie de Morris. Les deux théories sont caractérisées par deux notions du
 ales\, données en termes de types intersection non-idempotents.\n(joint w
 ork with Flavien Breuvart\, Giulio Manzonetto and Andrew Polonsky)\n\n\n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Domenico_Ruoppolo.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20161030T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR