Simplicial approaches to derived $C^\infty$-geometry

I will prove that derived $C^\infty$-geometry, defined by gluing simplicial $C^\infty$-spaces up to homotopy, can be faithfully expressed through the usual category of simplicial $C^\infty$-rings. In particular, I will show equivalence to D.Spivak's construction. (Joint work with J.Noel)