Resources for Theoretical Computer Science Research

• ACM: The Association for Computing Machinery publishes journals, sponsors conferences, and serves the professional needs of computer scientists.
• IEEE Computer Society: The IEEE's computer science society also publishes journals and sponsors meetings.
• SIGACT: ACM's Special Interest Group on Algorithms and Computation Theory, focuses on theoretical computer science.
• SIGACT News OnLine:available to SIGACT Members only.
• EATCS: The European Association for Theoretical Computer Science.
• ANALYSIS of ALGORITHMS HOME PAGE maintained by Philippe Flajolet and Helmut Prodinger motivated by a Dagstuhl workshop.
• CRA: The Computing Research Association provides information on science policy, funding trends, and job postings. The Taulbee Survey is also available.
• CRA News Online is the CRA's OnLine versions of CRA News.
• Computer Science Departments: is a compilation of home pages of computer science departments and institutes all over the world.
• Theory Net: is an international mailing list for theoretical computer science. Parts need Netscape.
• The Theory of Computation Group is part of the MIT Laboratory for Computer Science.

Resources for Logic in Computer Science Research

• L'Equipe PREUVES, PROGRAMMES et SYSTÈMES, Univ. Paris 7
• L'Equipe de Logique Mathématique, Univ. Paris 7
• L'Equipe Logique de la  Programmation, Univ. Luminy, Marseille
• Mathematical Logic around the world
• Research groups in Logic and Theoretical Computer Science
• Logic in the Netherlands
• Division of Informatics,  University of Edinburgh
• Laboratory of Mathematical Logic of  the Russian Academy of Science
• AILA Home Page
• PhD Program in Logic and Theoretical Computer Science at University of Siena