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

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

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

UP Eulogica. Asia's First Student Logic Society
- UP Eulogica is academic and social in nature. This is a co-educational, college-based student organization, which is university wide in membership. It accepts honorary members composed of UP students, professors, instructors and administrators.
- http://upeulogica.topcities.com/

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

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

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 Conferenc
- 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/

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/

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

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

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

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