Résume | We shall present the concept of ``abstract evolution system'' which, in particular, captures the main ideas of the theory of universal homogeneous structures (Fraisse limits). Evolution systems can also be viewed as a generalization of abstract rewriting systems. We shall present an analogue of Newman's Lemma, saying that a locally confluent terminating system is confluent. Terminating evolution systems actually correspond to finite ultra-homogeneous structures. |