Some sites

• SIAM World Wide Web Server
• Center for Discrete Mathematics and Theoretical Computer Science
• IEEE Symposium on Logic in Computer Science (LICS)
• Abstract State Machines (Evolving Algebras)
• Topology in Computer Science
• Research groups for Mathematical Logic and Theoretical Computer Science
• Mathematical Resources on the Web
• Mathematical Logic around the world

• AMS Home Page
  • Mathematical Reviews
  • 1991 Mathematics Subject Classification
• Association for Symbolic Logic
  • Meetings, conferences and announcements
• IMU - International Mathematical Union
• European Mathematical Information Service
• London Mathematical Society
• Home Page of the Kurt Goedel Society

• CSC Mathematical Topics
• Rolf Nevanlinna Institute