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

Pages about Research Areas

• General Logic
  • Open problems in Mathematical Logic (Forum for discussion of open problems at Berkley).
• Type Theory, Logical Frameworks
  • TYPES working group
    • Previous TYPES working group web page
  • The types forum
  • LEGO Algebra Group
  • Logical Frameworks (Pittsburgh)
  • The Types Forum
  • Typentheorie - Adressen im WWW
  • Typentheorie in Deutschland
• Category Theory
  • Categories home page (mailing list and many links)
• Computability Theory
  • Computability Theory (contains many homepages of people working in this area)
  • CCA: Computability and complexity in analysis
  • Open Questions in computability theory (by Ted Slaman, University of California-Berkeley): LaTeX, dvi, postscript
• Linear Logic
  • Linear Logic, SRI
  • The LINEAR network
• Set Theory
  • Algebraic set theory
  • Set theory page
  • Set Theory (at university of Florida)
  • Set Theoretic Analysis
  • New Foundations
  • Homepage for the Axiom of Choice
  • Programming with {SETS} (European Mirror)
• Modal Logic
  • Advances in Modal Logic Project
  • ETAI Research Area about actions and change (ENRAC)
• Automated Reasoning (except type theory)
  • Reserch Sites about
  • Mechanized Reasoning (Stanford) Automated Deduction and related matters (Stanford)
  • Mechanized Reasoning
  • Automated Induction (by David McAllester)
  • Automated Deduction (by Tomás Uribe)
  • University Research Groups specializing on Mechanized Reasoning in the german-speaking Region
  • The QED project
• Formal Methods
  • Abstract state machines
  • Formal Methods
  • APPSEM working group on applied semantics
  • Formal Methods Library (Oxford)
• Logic Programming
  • The World-Wide Web Virtual Library: Logic ProgrammingOxford)
• Complexity Theory
  • Links concerning Complexity Theory
  • Links about Complexity Theory from Trier
  • International electronic Colloquium about Computational Complexity (ECCC)
• Algebraic Specification
  • CoFI: The common framework initiative for algebraic specification and development
• Artificial Intelligence
  • ETAI Research Area about actions and change (ENRAC)

• 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/researchareas.html | Anton Setzer,

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