ACM SIGACT:
ACM's special interest group for Theoretical Computer Science.
http://sigact.acm.org/
Comp.Theory FAQ:
Frequently Asked Questions on Theoretical Computer Science from the
comp.theory newsgroup.
http://www.cs.unb.ca/~alopez-o/comp-faq/faq.html
Theory of Computation:
Lecture notes for an undergraduate class taught by Leonid Levin at
UC Berkeley.
http://www.cs.bu.edu/fac/lnd/toc/
Information-Based Complexity Home Page:
Provides information on computational complexity problems in the
presence of partial or contaminated information and links to
researchers in this field.
http://www.cs.columbia.edu/~agw/ibc/
Average-Case Complexity Forum:
Provides an overview, including surveys and a bibliography, of
recent work on average-case complexity analysis.
http://www.uncg.edu/mat/acc-forum/
Computability and Complexity in Analysis Network:
CCA Net aims to provide a central location for collecting
information useful to researchers working in the field.
http://www.informatik.fernuni-hagen.de/import/cca/
CAC-NET/FoCM-NET:
Archives and membership information of an electronic forum for
researchers in Continuous Algorithms and Complexity and in
Foundations of Computational Mathematics.
http://www.cs.columbia.edu/cacnet/
Analysis Of Algorithms Home Page:
An initiative of attendees of the 1997 Dagstuhl seminar, these pages
provide research papers, a bulletin board, and links to researchers
and other resources in the field. The focus is on average case and
probabilistic analysis.
http://pauillac.inria.fr/algo/AofA/index.html
Aria Technology Group:
Deals with the physics of non traditional computing methods.
http://www.ariatg.com
Foundations of Computational Mathematics:
A group which sponsors regular meetings on the relationships between
mathematical analysis, topology, geometry and algebra and the
computational process.
http://www.damtp.cam.ac.uk/user/na/FoCM/
SIGACT News Theory Calendar:
A calendar of upcoming theoretical computer science events and a
list of recently released books in the field.
http://www.cs.vt.edu/~theoryc/
An Introduction to the Theory of Computation:
An online text aimed at advanced undergraduate and graduate
students. Chapters include Finite-Memory Programs, Recursive
Finite-Domain Programs, General Programs, Resource Bounded
Computation, Probabilistic Computation, and Parallel Computation.
http://www.cis.ohio-state.edu/~gurari/theory-bk/theory-bk.html
The Types Forum:
Archives and subscription information for this moderated mailing
list which focuses on semantical, categorical, operational, and
proof theoretical topics relating to type theory.
http://www.cis.upenn.edu/~bcpierce/types/
Theoretical Computation on the Web:
A directory of resources related to theoretical computer science
from Stanford University.
http://robotics.stanford.edu/~suresh/theory/theory-home.html
Virtual Turing Machine 2:
Simulates a Turing machine. Users can write their own Turing
machines and see their machines work.
http://www.nmt.edu/~prcm/turing/
