Recent Changes - Search:

edit SideBar

Orateur : Pascal Vanier

Affiliation : LACL, Paris 12

Page web : http://www.lacl.fr/~pvanier/

Titre : Calculabilité et pavages

Résumé : Les pavages, ou sous-shifts de type fini sont des ensembles de coloriages du plan vérifiant des contraintes locales en nombre fini. Nous nous intéresserons en particulier au problèmes d’isomorphisme entre sous-shifts, connu sous le nom de conjugaison et plus particulièrement aux invariants de conjugaison, qui sont des “objets” permettant de caractériser certains aspects des sous-shifts. Nous donnerons en particulier des caractérisations calculatoires de ces derniers qui permettront de voir les liens intimes qui lient pavages et classes de complexité/calculabilité.

Références :

Organisation :

  • Date : 2015–10–22
  • Heure : 14h00
  • Salle : B107
  • Accueil : Cyril


Éditer le formulaire

Edit - History - Print - Recent Changes - Search
Page last modified on October 21, 2015, at 06:12 PM EST