SIGACT, through a number of volunteers, maintains several web pages of general interest to theoretical computer scientists, including the following.

• The Theory Matters wiki.
• The SIGACT Committee for the Advancement of Theoretical Computer Science.
• "Challenges for Theoretical Computer Science", Report of an NSF-Sponsored Workshop on Challenges for Theoretical Computer Science, 2000. Organized by Johnson, Papadimitriou, Wigderson, and Yannakakis.
• "Challenges for Theory of Computing", Report of an NSF-Sponsored Workshop on Research in Theoretical Computer Science, 1999. Condon, Edelsbrunner, Emerson, Fortnow, Haber, Karp, Leivant, Lipton, Lynch, Parberry, Papadimitriou, Rabin, Rosenberg, Royer, Savage, Selman (Chair), Smith, Tardos, Vitter.
• Erik Demaine's List of Events includes all of the major theory conferences, plus several others.

Organizations: General

• National Science Foundation

Organizations: Computer Science

• Association for Computing Machinery
• Computing Research Association
• IEEE Computer Society
• Society for Industrial and Applied Mathematics

Organizations: Theoretical Computer Science

• ACM SIGACT (you are already here!)
• SIAM Activity Group on Discrete Mathematics
• German Computer Science Society Special Interest Group on Parallel and Distributed Algorithms (Gesellschaft fuer Informatik e. V. GI-Fachgruppe 0.1.3 "Parallele und verteilte Algorithmen")
• Dutch Association for Theoretical Computer Science (NVTI)

---

Journals and Newsletters: Electronic

• AMAST Newsletter (from AMAST: Conference on Algebraic Methodology And Software Technology)
• Chicago Journal of Theoretical Computer Science
• Electronic Colloquium on Computational Complexity
• The Electronic Journal of Combinatorics
• The Journal of Universal Computer Science
• ACM Journal of Experimental Algorithmics
• LICS Newsletter (from LICS: IEEE Symposium on Logic in Computer Science)
• Theory and Applications of Categories

Journals and Newsletters: Print

• Formal Aspects of Computing
• Information and Computation
• Journal of the ACM
• SIGACT News
• SIAM Journal on Computing
• Theoretical Computer Science
• Annals of Pure and Applied Logic

---

Publishers

• Publishers' Catalogues
• Academic Press
• Addison-Wesley
• Cambridge University Press
• Elsevier Science
• MIT Press
• Prentice Hall
• Springer-Verlag

---

Bibliographies: Computer Science

• The Computer Science Bibliography Collection

Bibliographies: Theoretical Computer Science

• Information and Computation, bibliography 1957-1981 and 1982-present
• David M. Jones' Hypertext Bibliography Project
• University of Karlsruhe's Bibliographies on Theory/Foundations of Computer Science
• The LICS Bibliography of papers from the IEEE Symposium on Logic in Computer Science (LICS)
• University of Trier's Theoretical Computer Science index, part of the DB&LP bibliography server
• Other bibliography sites

---

Miscellaneous

• DIMACS Implementation Challenge for the TSP
• Turing test home page
• Dennis Grinberg's theory page
• David Eppstein's Geometry in Action
• RSA's FAQ About Today's Cryptography
• Ian Parberry's speaker's guide, referee's guide, and referee's form
• A searchable on-line database of Computer Science technical report abstracts
• Advice on Research and Writing for computer scientists
• Jeff Erickson's Computational Geometry Pages
• Michael Ley's Database Systems & Logic Programming server

---

Places

• Centre for Discrete Mathematics and Theoretical Computer Science, Auckland, NZ
• DIMACS
• MIT's Theory of Computation Group
• Stanford's Theory Page
• University of Waterloo theoretical computer science
• UC Irvine ICS Theory Group
• Anwar's Computer Science Departments Across The Web
• The CRA Links to CS & CE Departments: query server and complete list

---

Conference Series

• AMAST: Algebraic Methodology And Software Technology
• LICS: IEEE Symposium on Logic in Computer Science

---

Newsgroups and Mailing Lists

• Theory Net
• info.theorynt (crossposted Theory Net articles)
• comp.theory
• sci.math