Technical Committee on Mathematical Foundations of Computing

The Technical Committee 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 which recently celebrated its 50th anniversary. The TC sponsors or cosponsors other conferences and activities in cooperation with ACM SIGACT including the annual Symposium on Logic in Computer Science (LICS) and the Conference on Computational Complexity (CCC) both of which have recently celebrated their 25th anniversaries.


FOCSLogic in Computer ScienceComputational Complexity