Web Directory

» ALP
   Association for Logic Programming. Membership information, newsletter, journals, meetings.
   http://www.cwi.nl/projects/alp/

» ASL
   Association for Symbolic Logic.
   http://www.aslonline.org/

» British Logic Colloquium
   Meetings, publications, reports and resources.
   http://www.cs.bham.ac.uk/~exr/blc/

» COMPULOG Americas
   American Logic Programming Organization.
   http://www.cs.nmsu.edu/~complog/

» CSHPM
   Canadian Society for History and Philosophy of Mathematics.
   http://faculty.umf.maine.edu/~molinsky/cshpm/

» Computability in Europe Homepage
   Information on the "Computability in Europe" network of mathematicians, computer scientists, philosophers and scientists with research interests in computability issues
   http://www.amsta.leeds.ac.uk/pure/staff/cooper/cie.html

» DVMLG
   Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German)
   http://www.math.fu-berlin.de/~dvmlg/

» EACSL
   European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.
   http://www.dimi.uniud.it/~eacsl/

» FoLLI
   European Association for Logic, Language and Information. Meetings and publications.
   http://folli.loria.fr/

» IGPL
   Interest Group in Pure and Applied Logics: part of FoLLI.
   http://www.di.ufpe.br/~igpl/

» KR, Inc.
   Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on knowledge representation and reasoning. Its primary activities include organizing a series of conferences, the Conference
   http://www.kr.org

» Kurt Gödel Society
   An international organization for the promotion of research in the areas of Logic, Philosophy, History of Mathematics, above all in connection with the biography of Kurt Gödel.
   http://www.logic.at/kgs/

» MVL-TC
   IEEE Technical Committee on Multiple Valued Logic.
   http://cs3.el.gunma-u.ac.jp/MVL/