Title : From concurrency to algebraic topology Author : Philippe Gaucher Email : gaucher@math.u-strasbg.fr Abstract : This paper is a survey of the new notions and results scattered in "Homotopy invariants of higher dimensional categories and concurrency in computer science", "Combinatorics of branchings in higher dimensional automata", " About the globular homology of higher dimensional automata". Starting from a formalization of higher dimensional automata (HDA) by strict globular $\omega$-categories, the construction of a diagram of simplicial sets over the three-object small category $-\leftarrow gl\rightarrow +$ is exposed. Some of the properties discovered so far on the corresponding simplicial homology theories are explained, in particular their links with geometric problems coming from concurrency theory in computer science. URL : http://www-irma.u-strasbg.fr/~gaucher/expose.(ps|pdf).gz Comment : to appear in ENTCS