List of Research Groups in Logic and Theoretical Computer Science World-wide
Here:
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 Programming
Oxford)
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
,
.