Useful Theory Pages

Contents of This Document

• Organizations
  • General
  • CS Organizations
  • TCS Related Organizations
• Journals and Newsletters
  • Electronic Journals and Newsletters
  • Print Journals and Newsletters
• Publishers
• Bibliographies
  • Computer Science
  • Theoretical Computer Science
• Miscellaneous
• Places
• Conference Series
• People
• Newsgroups and Mailing Lists

Organizations

General

• National Science Foundation

Computer Science

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

Theoretical Computer Science

• ACM SIGACT (Special Interest Group on Algorithms and Computation Theory)
• 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 Journals and Newsletters

• 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

Print Journals and Newsletters

• 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

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, an excellent source of information on theoretical computer science
• David Eppstein's Geometry in Action
• RSA's FAQ About Today's Cryptography
• The SIGACT theory calendar, including URLs of current theory conferences and a postscript version of the Theory Calendar published quarterly in SIGACT News
• The SIGACT TCS Genealogy, a genealogy of earned doctoral degrees of theoretical computer scientists and their intellectual ancestors
• 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

People

• The SIGACT TCS Virtual Address Book has a list of other places to look

Newsgroups and Mailing Lists

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