Fields program on homotopy theory, 2007