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:8977@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20260129T110000
DTEND;TZID=Europe/Paris:20260129T123000
DTSTAMP:20260120T142755Z
URL:https://www.i2m.univ-amu.fr/evenements/semantics-of-fine-grained-mode-
 checking/
SUMMARY:Ariadne Suo (IRIF\, Paris Cité): Semantics of Fine-Grained Mode Ch
 ecking
DESCRIPTION:Ariadne Suo: The mode of a logic program says which parts of a 
 predicate’s arguments are inputs\, and which are outputs. A program is m
 ode-correct when information flows consistently from outputs to inputs. We
  introduce a foundational calculus for mode checking based on an extension
  to classical linear logic\, with a semantics in compact closed categories
 . One important application is for reasoning about intricate information f
 low through typecheckers. Instead of inventing ad-hoc algorithms to implem
 ent type systems\, one can simply use our language to transform declarativ
 e rules directly into an algorithm\, by assigning fine-grained modes to th
 e original system.\n\n Joint work with Neel Krishnaswami.
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:I2M Luminy - TPR2\, Salle de Séminaire 304-306 (3ème étage)\, 1
 63 Avenue de Luminy\, Marseille\, 13009\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=163 Avenue de Luminy\, Mars
 eille\, 13009\, France;X-APPLE-RADIUS=100;X-TITLE=I2M Luminy - TPR2\, Sall
 e de Séminaire 304-306 (3ème étage):geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20251026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR