School of
Computer Science
and Communication

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

Other journals, bibliographies and publishers


  • 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


Published by: Marc Vinyals <>
Updated 2006-02-08