The new web site of the mini course is here