Web Pages Maintained by SIGACT
SIGACT, through a number of volunteers, maintains several web pages of general interest to theoretical computer scientists, including the following:
The Theory Matters blog and related resources, maintained by the SIGACT Committee for the Advancement of Theoretical Computer Science
Miki Hermann’s Conferences in Theoretical Computer Science lists upcoming TCS conferences, with links to the conference website and information about location, key dates, and submission format.
Other Web Pages of Interest to Theoretical Computer Scientists
Organizations: General
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
- European Association for Theoretical Computer Science (EATCS)
Journals and Newsletters: Electronic
- 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
- Theory of Computing
Journals and Newsletters: Print
- ACM Transactions on Computation Theory
- ACM Transactions on Algorithms
- 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
- Academic Press
- Addison-Wesley
- Cambridge University Press
- Elsevier Science
- MIT Press
- Prentice Hall
- Springer-Verlag
Bibliographies: Computer Science
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
- Computer Science Online
- 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
- Anwar’s Computer Science Departments Across The Web
- The CRA Links to CS & CE Departments: query server and complete list
Theory Research Groups
- Carnegie Mellon University
- Cornell University
- Georgia Institute of Technology
- Harvard University
- Massachusetts Institute of Technology
- Northwestern University
- Princeton University
- Stanford University
- University of California, Berkeley
- University of California, Irvine
- University of Illinois at Urbana-Champaign, The
- University of Michigan
- University of Texas at Austin, The
- University of Toronto
- University of Washington
- University of Waterloo
Newsgroups and Mailing Lists
- Theory Net
- info.theorynt (cross-posted Theory Net articles)
- comp.theory
- sci.math