Student Seminar on Derived Geometry