The aim of this Arbeitsgemeinschaft was to understand the recent progress on Zimmer's conjecture in [1,2]. The week focuses on the cocompact case from [1].