Seminar: Small cancellation and applications