The summer school will take place at the TCS Hall (Room 358) on the CMU campus.