Sofic groups are surjunctive

In this talk, which is based on Benjamin Weiss' Sofic groups and dynamical systems, I will give the definition of sofic groups which can be considered as common generalizations of amenable and residually finite groups, and discuss examples and some of their basic properties. Finally, we will give Weiss' alternative proof Gromov's theorem stating that sofic groups are surjunctive. This theorem settles Gottschalk's conjecture for sofic groups.