I will discuss how various formalisms of intersection theory (Chow groups, K-theory, cobordism) can be extended to the setting of derived schemes and stacks. This gives a new approach to virtual phenomena such as the virtual fundamental class and virtual Riemann-Roch formulas.