List of Research Groups in Logic and Theoretical Computer Science World-wide

Collections of Sites

• Links in Philosophy of Computer Science
• Science in Europe
• Collection of links, including lots of universities
• Logic and foundations (via Google)
• Logicians (via Google)
• List of Mathematics Departments in the world
• Open Directory - Science:Math:Logic (Very professional)
• Find all pages linking to this collection
• See also the logic-server-worldwide page pages about research areas
• Logic AL: Logic, philosophy and artificial life resources
  • Logic and Mathematics
• List of logic servers world-wide at University of Bonn
• Selected Institutes with research in Theoretical Computer Science and Mathematical Logic (from Bern)
• archive of postings at TYPES forum ( Current year)
• Introduction to Logic Eprints
• A homepage with some nice collection of links
• Reserch Sites about Automated Deduction and related matters (Stanford)
• The World-Wide Web Virtual Library: Logic ProgrammingOxford)
• Deduktion in German , in English (contains additional links) (Saarbrücken)
• University Research Groups specializing on Mechanized Reasoning in the german-speaking Reagion
• ACM SIGACT (Special Interest Group on Algorithms and Computation Theory - not for everybody accessible)
• ECCC (The Electronic Colloqium on Computational Complexity)

• Theoretical Computer Science
  • TCS Virtual Rolodex (List of people working in Theoretical Computer Science)
  • Theoretical Computer Science Links Web page (at Stanford)

• Computer Science in general
  • The WWW Virtual Library: Computing
    • Computer Sciences Departments Worldwide
  • Computer Science Department Web Servers

• Mathematics in general
  • Mathematics on the Web
  • MathWeb Servers List
  • MathSciNet Home Page
  • Mathematics Departments Worldwide
  • UK Maths Departments
  • Mathematics Department Web servers
    • Countries A through F
    • Countries G through K
    • Countries N through Z except USA
    • USA
    • Australian Mathematics Departments maintained by the Australian Mathematical Society.
    • Denmark-EMIR
    • Mathematics Centers in France.
    • Virtual Library listing of Mathematics Servers in Germany.
    • Mathematics Servers in UK: Lists at Heriot-Watt University and the Oxford Invariant Society.
    • Number theory/Physics Website

• Philosophy in general
  • Philosophy Departments in UK
  • Philosophy Link Page (lists many Philosophy departments in the world)

• Search Engines and related
  • Links on Yahoo
    • Logic
    • Fuzzy Logic
    • Logic Programming
    • Computer Science: Formal Methods
    • Higher Order Logic Theorem Provers
    • Verification
    • Mathematics
    • Computer Science
  • Topic: Logic

• back to table of contents for Logic Servers Worldwide
• back to Theoretical Computer Science at Swansea
• back to Computer Science at Swansea

Please mail additions and corrections to Anton Setzer , .

---

Dept. of Computer Science, University of Wales Swansea | Last modified: Oct 12, 1999 | URL http://www-compsci.swan.ac.uk/~csetzer/logic-server/collection.html | Anton Setzer,

• University of Wales Swansea
  • Department of Computer Science
    • Theoretical Computer Science