Asynchronous Computability
A Historical Note on `Geometry and Concurrency&apo, Algebraic Topology and Concurrency, Algebraic Topology and Distributed Computing, Scientific American: Computers without Clocks, The Part-Time Parliament
Automata Theory
Automata and Games Theories, Automata Theory, Computation, Automata, Languages, Finite State Machine, Finite State Machine, Mealy Machine, Moore Machine, Turing Machine, Von Neumann and Automata Theory
Complexity Theory
Conferences, People, Publications, A Compendium of NP Optimization Problems, Algorithms and Complexity, Algorithms and Complexity, Algorithms and Complexity Research Area, Average-Case Complexity Forum, Challenging Benchmarks for SAT and CSP, Complexity of Algorithms, Complexity Theory, Computability and Complexity, Computational Complexity and Programming Languages
Conferences
Computational Complexity Conference, IEEE Symposium on Logic in Computer Science, Midwest Theory Day, SIGACT News Theory Calendar, STOC, Theoretical Computer Science Conferences & Jou
Forums and Networks
Average-Case Complexity Forum, CAC-NET/FoCM-NET, Computability and Complexity in Analysis Network, Information-Based Complexity, The Types Forum
Journals
Chicago Journal of Theoretical Computer Science, Discrete Mathematics and Theoretical Computer Scie, Electronic Colloquium on Computational Complexity, Electronic Journal of Combinatorics, Information and Computation, Journal of Experimental Algorithmics, Journal of Graph Algorithms and Applications, Journal of Logic Programming, Mathematical Logic Quarterly, SIGACT News Online
People
Mailing Lists and Name Directories, Students, Albert R. Meyer, Alex Lopez-Ortiz, Christos H. Papadimitriou, Daniel A. Spielman, David R. Karger, Donald E. Knuth, Giorgi Japaridze, John Mitchell, Leonard Schulman, Madhu Sudan
Quantum Computing
Research Groups, Artiste Company, Chair of Quantum Informatics, D-Wave Systems, Inc., id Quantique, Introduction to Quantum Algorithms, Josephson junction qubits by A.C.J. ter haar, libquantum, MagicQ Technologies Inc., Qualgorithms, Quantum Computation
Research Groups
ACM SIGACT, Cambridge Theory and Semantics Group, Centre for Discrete Mathematics and Theoretical Co, Computational Geometry - Parallel Processing - Int, DIMACS, Formal Aspects of Computing Science Specialist Gro, Foundations of Computational Mathematics, ICS Theory Group, MIT LCS Theory of Computation Group, Programming Languages Lab
Software
Computing as Compression, Turing & Post Machines (C++ Simulators), Virtual Turing Machine 2
An Introduction to the Theory of Computation
An online text aimed at advanced undergraduate and graduate students.
Computability Logic
Main web source on the subject: overview, downloadable articles, links.
Theoretical Computer Science on the Web
A directory of resources related to theoretical computer science from Stanford University.
Theory of Computation
Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley.