DAG-seminar: Derived schemes (cont.)

I will give some examples of simplicial commutative rings and define the Spec funtor of a simplicial commutative ring. 

If there is time I will also show that the Spec functor satisfies hyper descent.