The summer school will take place at the TCS Hall on the CMU campus.