Mathematical Foundations of Computing, IEEE Computer Society Technical Community on
The IEEE Computer Society 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. TCMF sponsors, or cosponsors, other conferences and activities including the annual Symposium on Logic in Computer Science (LICS) and the Conference on Computational Complexity (CCC).
Website:
