Various Links

Here are some servers in the field of theoretical computer science that might be of interest.

Organisation servers

• ACL, Association for Computational Linguistics
• ACM, Association for Computing Machinery.
• ACM SIGACT, ACM special interest group on algorithms and computation theory.
• AMS, American Mathematical Society. MathSciNet - fast author search in AMS Mathematical reviews.
• DIMACS, Center for Discrete Mathematics and Theoretical Computer Science.
• ECCC, Electronic Colloquium on Computational Complexity.
• IEEE, The Institute of Electrical and Electronics Engineers.
• SIAM, Society for Industrial and Applied Mathematics.
• MIT, theory group.
• SRI, theory group.
• RSA Data Security, Inc, home page
• TFR, The Swedish Research Council for Engineering Sciences.
• Weizman Institute of Science, Israel. Brought to you by their faculty of mathematics.
• The World Combinatorics Exchange. The information headquarter for all combinatorialists - and all the big shots are there!
• The Mittag-Leffler Institute.

Plain electronic journals

• Chicago Journal of Theoretical Computer Science.
• Discrete Mathematics and Theoretical Computer Science.
• The Electronic Journal of Combinatorics.
• The London Mathematical Society Journal of Computation and Mathematics.

Other journals, bibliographies and publishers

• A Collection of Computer Science Bibliographies available on the Internet. Comprehensive.
• Theoretical Computer Science.
• Elsevier Science.
• Springer Berlin Heidelberg.
• The journal Informatica.
• The journal Information and Computation.
• The journal Information Processing Letters.
• Hypertext bibliography project, bibliographies for STOC, FOCS, LICS, Journal of the ACM, Information and Computation etc.
• Bibliographies Bibliographies on databases and logic programming.
• Journal of Graph Algorithms and Applications.
• Ideal, the online scientific journal library created by Academic Press.
• MIT library.
• The Art of Computer Programming (TAOCP) by Donald Knuth.

Conferences

• SWAT 98, Scandinavian Workshop on Algorithm Theory, July 8-10 1998, Stockholm, Sweden.
• Conferences (listed by Bernhard Gramlich), mainly Logic, Formal languages, Formal methods, Programming languages, Software engineering , Automated deduction, and AI

Miscellaneous

• Theory on the Web.
• Sci.Math FAQ, Frequently asked questions in mathematics.
• Eric Weisstein's World of Mathematics, Mathematics resource provided by Wolfram Research.
• A list of NP-complete optimization problems and their approximability, composed by Viggo Kann and Pierluigi Crescenzi.
• Practical algorithm reference.
• Analysis of algorithms.
• TSPBIB, bibliography on the traveling salesperson problem.
• Theory Net. The mailing list for computer science.