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:7914@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20160128T110000
DTEND;TZID=Europe/Paris:20160128T120000
DTSTAMP:20241120T205604Z
URL:https://www.i2m.univ-amu.fr/evenements/vers-un-compilateur-prouve-d-es
 terel-vers-les-circuits/
SUMMARY:Lionel Rieg (ENS Lyon): Vers un compilateur prouvé d'Esterel vers 
 les circuits
DESCRIPTION:Lionel Rieg: Les langages synchrones sont une famille de langag
 e de programmation dédiés aux programmes temps-réel\, c'est à dire ave
 c des contraintes fortes de réactivité. Dans cette famille\, Esterel est
  un langage orienté contrôle\, avec une saveur impérative. Il s'appuie 
 sur l'hypothèse de synchronie\, qui dit qu'un programme s'exécute par in
 stants\, les calculs étant supposés instantanés au sein d'un instant. J
 e m'intéresse à la preuve d'un schéma de compilation modulaire d'Estere
 l vers les circuits synchrones. Même si la démarche est très similaire 
 à CompCert\, on verra que le cadre et les problèmes (notamment la schizo
 phrénie) que l'on rencontre sont très différents\, essentiellement car 
 on compile vers des circuits.\n\nhttp://perso.ens-lyon.fr/lionel.rieg/
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Lionel_Rieg.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20151025T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR