The goal of this seminar is to get an overview of algebraic K-theory applied to derived algebraic geometry. We want to use modern machinery to give clean constructions. As we want to cover quite some material and have participants with different backgrounds, we aim to keep the presentations accessible. In particular, no prior knowledge of ∞-categories, K-theory or derived algebraic geometry is presumed.