Algebra seminar by David Craven