Exposés

10:30: Matteo Acclavio, An introduction to rewriting theory: homological properties of finite convergent systems