Here are some servers in the field of theoretical computer science
that might be of interest.
Association for Computational Linguistics
Association for Computing Machinery.
- ACM SIGACT,
ACM special interest group on algorithms and computation theory.
American Mathematical Society.
- fast author search in AMS Mathematical reviews.
Center for Discrete Mathematics and Theoretical Computer Science.
Electronic Colloquium on Computational Complexity.
The Institute of Electrical and Electronics Engineers.
Society for Industrial and Applied Mathematics.
- RSA Data Security, Inc,
- TFR, The Swedish Research Council for Engineering
- 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
Other journals, bibliographies and publishers
- SWAT 98,
Scandinavian Workshop on Algorithm Theory, July 8-10 1998, Stockholm, Sweden.
(listed by Bernhard Gramlich), mainly Logic, Formal languages,
Formal methods, Programming languages, Software engineering ,
Automated deduction, and AI