Verranno presentati i tre filoni principali del progetto ACAT: concurrency and dihomotopy topological robotics persistent homology con particolare focalizzazione sul terzo argomento, che è sviluppato anche presso il nostro Dipartimento.