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:5890@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20221110T110000
DTEND;TZID=Europe/Paris:20221110T123000
DTSTAMP:20241120T200648Z
URL:https://www.i2m.univ-amu.fr/evenements/vers-une-formulation-algebrique
 -de-la-realisabilite-concurrente-un-travail-en-cours/
SUMMARY:Mauricio Guillermo (Universidad de la República de Uruguay): Vers 
 une formulation algébrique de la réalisabilité concurrente : un travail
  en cours
DESCRIPTION:Mauricio Guillermo: Nous présentons quelques résultats du pro
 jet STIC-AmSud "An Algebrization Program for Concurrent Realizability". Da
 ns une première partie nous exposons comme point de départ la Réalisabi
 lité Concurrente\, telle qu'elle a été définie par Beffara en 2005. En
 suite\, nous modifierons ces  définitions afin d'obtenir un modèle de t
 ermes et des règles de typage interprétables sur une structure algébriq
 ue (évitant notamment les phénomènes de localisation et d'abstraction).
 \nEnfin\, nous introduisons une structure algébrique qui permet d'interpr
 éter le fragment MLL de la LL et le π-calcul sans réplication de la mê
 me manière que les Algèbres Implicatives le font avec la Réalisabilité
  Séquentielle. Pour faire cela nous ferons appel à la présentation comb
 inatoire du π-calcul publiée par Honda &amp\; Yoshida en 1994.\nEn visio
  ici : https://greenlight.lal.cloud.math.cnrs.fr/b/lio-hdc-jef\n\n\n&nbsp\
 ;
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 022/10/image-seminar-aglr-ldp-A-thread-scheme-for-PH-S-0-4-Mauricio_Guille
 rmo-Etienne_Miquey.png
CATEGORIES:Séminaire,Logique et Interactions
LOCATION:Virtual event\, visioconférence\, virtual\, France
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=visioconférence\, virtual\
 , France;X-APPLE-RADIUS=100;X-TITLE=Virtual event:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20221030T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR