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:8343@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20140612T140000
DTEND;TZID=Europe/Paris:20140612T150000
DTSTAMP:20241120T210343Z
URL:https://www.i2m.univ-amu.fr/evenements/programmation-logique-unificati
 on-et-espace-logarithmique/
SUMMARY:Clément Aubert (I2M\, Aix-Marseille Université): Programmation lo
 gique\, unification et espace logarithmique
DESCRIPTION:Clément Aubert: Nous présentons une construction algébrique 
 qui a pour loi de composition l’unification de termes du premier ordre\,
  et comment y représenter le calcul. La correspondance preuve-programme f
 ournit alors une façon innovante de représenter les entiers binaires com
 me des fonctions dialoguant avec les programmes. Les machines abstraites q
 ue l’on peut y encoder (les observations) peuvent naturellement être vu
 es comme des machines à pointeurs\, qui parcourent l’entrée sans la mo
 difier. On montre alors que ces observations sont suffisamment expressives
  pour caractériser l’espace logarithmique\, et que décider de l’acce
 ptation d’un mot par une observation est réductible au problème d’ac
 yclicité d’un graphe\, un problème également en espace logarithmique.
 \nUn travail en collaboration avec Marc Bagnol\, Paolo Pistone et Thomas S
 eiller.\n\n\n
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Clement_Aubert.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20140330T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR