ASL
Association for Symbolic Logic. |
British Logic Colloquium
Meetings, publications, reports and resources. |
COMPULOG Americas
American Logic Programming Organization. |
CSHPM
Canadian Society for History and Philosophy of Mathematics. |
DVMLG
Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German) |
EACSL
European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list. |
FoLLI
European Association for Logic, Language and Information. Meetings and publications. |
IGPL
Interest Group in Pure and Applied Logics: part of FoLLI. |
International Federation for Computational Logic (IFCoLog)
A federation of societies and groups active in computational logic. |
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 Conferen |
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. |
MVL-TC
IEEE Technical Committee on Multiple Valued Logic. |
