Recently there has been considerable activity in the study of the dynamics of these groups and this work has led to interesting interactions between logic, finite combinatorics, group theory (both in the topological and algebraic context), topological dynamics, ergodic theory and representation theory. In this lecture I will give a survey of some of the main directions in this area of research.