Directories

ASL members - List of web pages of Association for Symbolic Logic members. Maintained by Herbert Enderton.
www.math.ucla.edu/~hbe/aslweb.html

Computability Theory - Information on this site includes a Bibliographic Database for Computability Theory, a list of Open Questions in Recursion Theory as well as links to many researchers working in the field. Maintained by Peter Cholak.
www.nd.edu/~cholak/computability/computability.html

Description Logics - Maintained by Carsten Lutz.
dl.kr.org/

Knowledge Representation - With Automated Reasoning, Computational Logics and Advanced Databases. Projects, people, conferences and specific resources.
www.inf.unibz.it/~franconi/kr.html

Logic and Set Theory - Category of Topics in Mathematics (MathArchives).
archives.math.utk.edu/topics/logic.html

Logic and Set Theory - Groups and conferences.
www.math.ufl.edu/~jal/orgs.html

Logic Links - Gustavus Philosophy Department.
www.gustavus.edu/academics/philosophy/llogic.html

Logic Page - Maintained by Christian Gottschall, Vienna philosophy department.
logik.phl.univie.ac.at/~chris/logic.html

Logic Programming - Section of WWW Virtual Library.
vl.fmnet.info/logic-prog/

Mathematical Logic and Foundations - Section of Math Guide.
www.mathguide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=03

Mathematical Logic around the world - A service provided by the Mathematical Logic Group in Bonn
world.logic.at/

Research groups in Logic and Theoretical Computer Science - Maintained by Anton Setzer, University of Wales Swansea.
www.cs.swan.ac.uk/~csetzer/logic-server/