International organization that fosters and promotes the discovery and dissemination quality research in theoretical computer science, the formal analysis of efficient computation and computational processes.