TCS

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 MittagLeffler Institute.
Plain electronic journals
Other journals, bibliographies and publishers
Conferences
 SWAT 98,
Scandinavian Workshop on Algorithm Theory, July 810 1998, Stockholm, Sweden.
 Conferences
(listed by Bernhard Gramlich), mainly Logic, Formal languages,
Formal methods, Programming languages, Software engineering ,
Automated deduction, and AI
Miscellaneous
