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:8055@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20150604T110000
DTEND;TZID=Europe/Paris:20150604T120000
DTSTAMP:20241120T210009Z
URL:https://www.i2m.univ-amu.fr/evenements/vers-l-unification-des-systemes
 -de-types-pour-processus-mobiles/
SUMMARY:Emmanuel Beffara (I2M\, Aix-Marseille Université): Vers l'unificat
 ion des systèmes de types pour processus mobiles
DESCRIPTION:Emmanuel Beffara: Ce travail présente un cadre unificateur pou
 r les systèmes de types pour les algèbres de processus. Le cœur du syst
 ème fournit une correspondance précise entre des processus essentielleme
 nt fonctionnels et des démonstrations de logique linéaire\; des fragment
 s de ce système correspondent à des connections précédemment connues e
 ntre démonstrations et processus. On montre que l'ajout d'axiomes logique
 s peut étendre la classe des processus typables en échange de la perte d
 e propriétés calculatoires comme l'absence de blocage ou la terminaison\
 , ce qui permet de voir différents systèmes connus (types i/o\, linéari
 té\, contrôle) comme des instances d'un modèle général. Cette approch
 e suggère des méthodes unifiées pour l'extension de systèmes de types 
 avec de nouvelles propriétés tout en restant dans un cadre bien structur
 é\, ce qui constitue un pas vers l'étude de la sémantique dénotationne
 lle des processus par des méthodes de théorie de la démonstration.\n\n\
 n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Emmanuel_Beffara.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20150329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR