BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Mikael de la Salle : "Compression et indécidabilité\, d'après M
 arks"
DTSTART:20260317T084500Z
DTEND:20260317T103000Z
DTSTAMP:20260517T053500Z
UID:indico-event-16255@indico.math.cnrs.fr
DESCRIPTION:Résumé: Cet exposé est la suite logique de l'exposé préc
 édent\, mais sera essentiellement indépendant. Je rappellerai l'énoncé
  du lemme de compression de Marks\, qui est un critère d'indécidabilité
  d'un problème de décision\, et dont j'avais expliqué la dernière fois
  qu'il était un des ingrédients clés dans la solution du problème de p
 longement de Connes. Je donnerai ensuite sa preuve. Si le temps le permet 
 et si j'arrive à trouver l'argument\, j'expliquerai peut-être comment ce
  lemme permet également de prouver de façon nouvelle le fait classique q
 ue le problème du domino est indécidable https://en.wikipedia.org/wiki/
 Wang_tile\n\nhttps://indico.math.cnrs.fr/event/16255/
URL:https://indico.math.cnrs.fr/event/16255/
END:VEVENT
END:VCALENDAR