Vitalsource Technologies, Inc. Lectures On Formal And Rigid Geometry