Arithmetic Groups (Banff, Alberta, April 14-19, 2013)