Introduction to derived algebraic geometry

Summer 2025, Regensburg