Abstract. The theory of non-positively curved spaces and groups is tremendously powerful and has enormous consequences for the groups and spaces involved. Nevertheless, our ability to construct examples to which the theory can be applied has been severely limited by an inability to test -in real timewhether a random finite piecewise Euclidean complex is non-positively curved. In this article I focus on the question of how to construct examples of nonpositively curved spaces and groups, highlighting in particular the boundary between what is currently do-able and what is not yet feasible. Since this is intended primarily as a survey, the key ideas are merely sketched with references pointing the interested reader to the original articles.Over the past decade or so, the consequences of non-positive curvature for geometric group theorists have been throughly investigated, most prominently in the book by Bridson and Haefliger [26]. See also the recent review article by Kleiner in the Bulletin of the AMS [59] and the related books by Ballmann [4], BallmannGromov-Schroeder [5] and the original long article by Gromov [48]. In this article I focus not on the consequences of the theory, but rather on the question of how to construct examples to which it applies. The structure of the article roughly follows the structure of the lectures I gave during the Durham symposium with the four parts corresponding to the four talks. Part 1 introduces the key problems and presents some basic decidability results, Part 2 focuses on practical algorithms and low-dimensional complexes, Part 3 presents case studies involving special classes of groups such as Artin groups, small cancellation groups and ample-twisted face pairing 3-manifolds. In Part 4 I explore the weaker notion of conformal non-positive curvature and introduce the notion of an angled n-complex. As will become clear, the topics covered have a definite bias towards research in which I have played some role. These are naturally the results with which I am most familiar and I hope the reader will pardon this lack of a more impartial perspective.
Part 1. Negative curvatureAlthough the definitions of δ-hyperbolic and CAT(0) spaces / groups are wellknown, it is perhaps under-appreciated that there are at least seven potentially distinct classes of groups which all have some claim to the description "negativelycurved." Sections 1 and 2 briefly review the definitions needed in order to describe these classes, the known relationships between them, and the current status of the (rather optimisitic) conjecture that all seven of these classes are identical. Since the emphasis in this article is on the construction of examples, finite piecewise