During this two-week Research Activity from March 31 to April 11 the organizers plan to bring together researchers interested in residually finite groups and various geometric aspects of computation with infinite groups. They will include specialists in geometric group theory, operator algebras, symbolic dynamics, and low-dimensional topology. In recent years there was a spectacular boost of interaction between these areas and mathematicians working in different fields require such an international event to satisfy their common interest.  During the Workshop from March 31 - April 4, 2014 a unified view on the actual state of art in algorithmic aspects of discrete groups, which should stimulate an exchange of ideas and promote collaboration between the participants, will be presented. Senior mathematicians, graduate students and postdocs will be invited, and two introductory mini-courses, and 10 - 12 additional talks will be scheduled. The two mini-courses will each consist of four to tive lectures aimed at an audience having no prior background in that field and should be of interest to algebraists, logicians, and geometers:

• Geometry of residually finite groups: Martin Bridson (Oxford), and Alexei Miasnikov (New York)

• Introduction to the space of marked groups: Yves de Cornulier (Paris), Vincent Guiradel (Rennes)

Workshop Schedule & Abstracts (pdf, 9 pages) Talk, April 8 at 1 p.m. Arye Juhasz (Technion, Haifa):  The isoperimetric function of groups defined by a single positive word Talk, April 9 at 1:30 p.m. Andrew Duncan (Newcastle U):  Subgroups of the automorphism groups of partially commutative groups (RAAGs) Talk, April 9 at 3 p.m. Christopher Cashen (U Vienna):  Quasi-isometry invariants from decorated trees Poster (pdf), Participants (pdf)