  These are lecture notes from a lecture series given at CIRM in the Fall 2023.
They give a down-to-earth introduction to Khovanov and Seidel's categorical
representation of Artin-Tits groups, emphasizing the fact that it is all
explicitly computable. Several prospective applications to (geometric) group
theory are mentioned.
