CRM 2007/2008: Homotopy Theory and Higher Categories