Description: This book contains surveys and research articles by leading experts on the state-of-the-art of the theory of finitely generated groups. A particular emphasis is placed on algorithmic aspects, connections to logic and topology, as well as application