Survol

Pendant son développement au cours des 20 dernières années, la recherche en théorie géométrique des groupes a permis d'éclairer ses différents aspects, y compris ceux touchant à la géométrie, la topologie, l'analyse et la logique. Les nouvelles avenues, plus géométriques, ont permis aux chercheurs de faire des progrès rapides dans tous ces domaines. Des résultats qui étaient disparates ont également été consolidés. En théorie algorithmique des groupes, ces dernières années, on a découvert de plus en plus de liens entre l' informatique et la théorie classique des groupes et des semi-groupes. La théorie des automates a suscité la définition de nouvelles classes de groupes, par exemple, les groupes automates et les groupes automatiques. Des techniques provenant de la théorie de la réécriture, de la compression de données et de la théorie des automates sont utilisées pour résoudre de manière plus efficace des problèmes de mots et d'autres problèmes algorithmiques en théorie des semi-groupes. Cet atelier bénéficiera de l'activité intense qu'on observe actuellement dans les deux domaines.

Mini-cours

Problèmes d'appartenance à un groupe

B. Steinberg (Carleton) and D. Serbin (Université de Genève)