Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) GALaC
The Domino Problem is undecidable on surface groups
Nathalie Aubrun

27 September 2019, 14h30
Salle/Bat : 445/PCRI-N
Contact :

Activités de recherche : Combinatoire

Résumé :
The domino problem for a finitely generated group asks whether
there exists an algorithm which takes as input a finite alphabet and
finitely many Wang tiles, and decides whether there exists a tiling of
the group by this set of tiles. I will survey known results and present
the domino problem conjecture: finitely generated groups with decidable
domino problem are exactly virtually free groups. Then I will explain
why this problem is undecidable on surface groups. Joint work with
Sebastián Barbieri and Etienne Moutot.

Pour en savoir plus :
Séminaires
On the Interplay between Software Product Lines an
Raisonnement automatique
Tuesday 18 October 2022 - 14h15
Salle : 2013 - DIG-Moulon
Vander Alves .............................................

Combining randomized and observational data: Towar
Raisonnement automatique
Thursday 13 October 2022 - 10h30
Salle : 2011 - DIG-Moulon
Bénédicte Colnet .............................................

New Achievements of Artificial Intelligence in Mul
Raisonnement automatique
Tuesday 11 October 2022 - 14h15
Salle : 2013 - DIG-Moulon
.............................................

Definition and estimation of a variable importance
Raisonnement automatique
Thursday 22 September 2022 - 10h30
Salle : 2011 - DIG-Moulon
.............................................

Definition and estimation of a variable importance
Raisonnement automatique
Thursday 01 September 2022 - 10h30
Salle : 2011 - DIG-Moulon
Antoine Chambaz .............................................