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:478@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20141127T110000
DTEND;TZID=Europe/Paris:20141127T120000
DTSTAMP:20141112T100000Z
URL:https://www.i2m.univ-amu.fr/evenements/des-invariants-de-cohomologie-p
 our-la-complexite/
SUMMARY: (...): Des invariants de cohomologie pour la complexité ?
DESCRIPTION:: J'exposerai des résultats récents à l'intersection entre m
 es travaux sur les graphes d'interaction et ceux concernant la complexité
 .Mon travail sur les graphes d'interaction m'a mené à une construction s
 ystématique de modèles de la logique linéaire basée sur la notion de 
 « graphage » — des réalisations de graphes par des fonctions mesurabl
 es. Intuitivement\, un graphage est un graphe dont les sommets sont des en
 sembles mesurables et les arêtes sont « réalisées » par des fonctions
  mesurables. Ces modèles sont caractérisés par un monoide de fonctions 
 (mesurables) qui décrit les différents manières de réaliser une arête
 .Je montrerai que le choix de ce monoide correspond à imposer des contrai
 ntes de complexité. Cette correspondance est illustrée par l'obtention d
 e modèles de MALL avec des exponentielles (très) faibles où le type des
  prédicats sur les entiers binaires !Nat_2 ⊸ Bool caractérise des clas
 ses de complexité telles que les languages réguliers\, L (logspace)\, NL
 \, Ptime.Ces résultats permettent d'envisager l'utilisation d'invariants 
 de cohomologie pour étudier les classes de complexité.[http://www.ihes.f
 r/~seiller/]
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20141026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR