Association for Symbolic Logic - International organisation supporting the presentation, publication, and critical discussion of scholarly work in the field of logic.
British Logic Colloquium (BLC) - Working to advance the education of the public within Great Britain and Northern Ireland in the study of formal or mathematical logic and related subjects.
