Theory of Computing (TOC)

Supports fundamental research in the following areas:

Core Theory: Covers computational complexity, quantum complexity and algorithms, cryptography, interactive computation, computational learning theory, parallel and distributed computation, computation on random data, online computation, reasoning about knowledge, foundations of computing and logic, and theory of information.
Fundamental Algorithms: Includes developing combinatorial, approximation, parallel, online, numerical, geometric, and graph algorithms that transcend application domains.
Application-Specific Theory: Supports developing models, techniques, and theory for solving problems that arise in areas of science and engineering such as computational biology, communications networks, network security, digital libraries, and computational linguistics.

Also of interest are theoretical developments that have potential impact on experimental or applied areas of computer science research such as computing environments and algorithmic building block for parallel systems, etc. Investigators are encouraged to pursue strategies that mix theory with experimentation.