1: \begin{abstract}

2:   Helly graphs are graphs in which every family of pairwise

3:   intersecting balls has a non-empty intersection.  This is a

4:   classical and widely studied class of graphs. In this article we

5:   focus on groups acting geometrically on Helly graphs -- \emph{Helly

6:     groups}. We provide numerous examples of such groups: all (Gromov)

7:   hyperbolic, \catz cubical, finitely presented graphical \cftf small

8:   cancellation groups, and type-preserving uniform lattices in

9:   Euclidean buildings of type $C_n$ are Helly; free products of Helly

10:   groups with amalgamation over finite subgroups, graph products of

11:   Helly groups, some diagram products of Helly groups, some

12:   right-angled graphs of Helly groups, and quotients of Helly groups

13:   by finite normal subgroups are Helly.  We show many properties of

14:   Helly groups: biautomaticity, existence of finite dimensional models

15:   for classifying spaces for proper actions, contractibility of

16:   asymptotic cones, existence of EZ-boundaries, satisfiability of the

17:   Farrell-Jones conjecture and of the coarse Baum-Connes

18:   conjecture. This leads to new results for some classical families of

19:   groups (e.g.\ for FC-type Artin groups) and to a unified approach to

20:   results obtained earlier.

21: \end{abstract}

22: