Annual ACM Symposium on Theory of Computing (STOC)Annual IEEE Symposium on Foundations of Computer Science (FOCS)ACM–SIAM Symposium on Discrete Algorithms (SODA)Annual Symposium on Computational Geom ...
Information and ComputationTheory of Computing (open access journal)Formal Aspects of ComputingJournal of the ACMSIAM Journal on Computing (SICOMP)SIGACT NewsTheoretical Computer ScienceTheory of Comp ...
While formal algorithms have existed for millennia (Euclid's algorithm for determining the greatest common divisor of two numbers is still used in computation), it was not until 1936 that Alan Turing, ...
It is not easy to circumscribe the theory areas precisely and the ACM's Special Interest Group on Algorithms and Computation Theory (SIGACT) describes its mission as the promotion of theoretical compu ...
This article is about the branch of computer science and mathematics. For the journal, see Theoretical Computer Science (journal).Theoretical computer science is a division or subset of general comput ...
