Technical Committee on Mathematical Foundations of Computing

The Technical Committee on Mathematical Foundations of Computing (TCMF) of the IEEE Computer Society focuses on the theory of computation. Theory of computation 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 model and study natural and social phenomena through the computational lens.

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 will celebrate its 60th anniversary this year.

The TC also cosponsors in cooperation with ACM SIGLOG the annual Symposium on Logic in Computer Science (LICS), which has recently celebrated its 30th anniversary.