Summer School on Operator Algebras and Non-commutative Geometry