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:6888@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20191205T110000
DTEND;TZID=Europe/Paris:20191205T123000
DTSTAMP:20241120T202618Z
URL:https://www.i2m.univ-amu.fr/evenements/un-programme-dalgebrisation-pou
 r-la-realisabilite-annule/
SUMMARY:Mauricio Guillermo (Universidad de la República\, Uruguay): Un pro
 gramme d'algebrisation pour la réalisabilité ? (annulé)
DESCRIPTION:Mauricio Guillermo: Dans cet exposé\, je me propose d'introdui
 re les motivations du programme de travail qu'on poursuit à Montevideo de
 puis un moment. On remonte à la lecture attentive du papier de Streicher 
 "Krivine's classical realisability from a categorical perspective" et aux 
 idées qu'on a trouvées nous amenant à ce programme d'algebrisation. Apr
 ès\, et en fonction du temps\, je prétends presenter les structures alge
 briques ordonnées en question (IOCAs\, KOCAs\, Algèbres implicatives\, a
 lgèbres conjonctives/disjonctives). Et voilà qu'on regarde maintenant av
 ec Emmanuel (Beffara\, n.d.l.r.) si sa réalisabilité concurrente peut en
 trer dans ce programme.\n
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20191027T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR