Technical Committee on Mathematical Foundations of Computing
TC on Mathematical Foundations of Computing (TCMF) is the technical committee of the Computer Society focused on theoretical computer science. Theoretical computer science uses mathematical tools to model and analyze the power, complexity, and design of computing devices, algorithms, and programs. It also uses these mathematical tools to study and model algorithmic questions in natural and social systems.
The annual Symposium on Foundations of Computer Science (FOCS), which presents original research on the theory of computation, is the founding conference of the field and TCMF's flagship activity. The TC sponsors or cosponsors other conferences and activities in cooperation with ACM SIGACT including the annual Symposium on Logic in Computer Science (LICS).