This week follows the conferences <html><a href="http://math.univlyon1.fr/~guiraud/or2011">Operads and Rewriting</a></html> (Lyon, 2011) and <html><a href="http://li2012.univmrs.fr/programme/week5">Algebra and Computation </a></html> (Marseille, 2012), in order to promote the developement of computational methods in algebra and the algebraic formalisation of computation.
This week follows the conferences <html><a href="http://math.univlyon1.fr/~guiraud/or2011">Operads and Rewriting</a></html> (Lyon, 2011) and <html><a href="http://li2012.univmrs.fr/programme/week5">Algebra and Computation </a></html> (Marseille, 2012), in order to promote the developement of computational methods in algebra and the algebraic formalisation of computation.

Since the eighties, several results (Anick, Squier, Kobayashi, Brown, DehornoyLafont, …) have shown the interest of methods coming from rewriting theory to solve algebraic decision problems or to compute homological invariants. Convergent (confluent and terminating) presentations, and Gröbner bases for linear structures, allow in particular the computation of normal forms and, thus, one can address decision problems (Dehn problems, combinatorics of Coxeter and Artin groups, …) through computational methods.
+
Since the eighties, several results (Anick, Squier, Kobayashi, Brown, DehornoyLafont, …) have shown the interest of methods coming from rewriting theory to solve algebraic decision problems or to compute homological invariants. Convergent (confluent and terminating) presentations, and Gröbner bases for linear structures, allow in particular the computation of normal forms and, thus, one can address decision problems (Dehn's problems, combinatorics of Coxeter and Artin groups, …) through computational methods.
The week will cover themes including, but not limited to, the following ones: Garside calculus and the study of Artin groups, diagram algebras in representation theory, rewriting methods in operad theory.
The week will cover themes including, but not limited to, the following ones: Garside calculus and the study of Artin groups, diagram algebras in representation theory, rewriting methods in operad theory.