Logic and Foundations Organizations

• Science: Math: Organizations 

• Association for Symbolic Logic  - Posts announcements and information on the association's meetings and membership. Also presents books, journals, and lecture notes.
• COMPULOG Americas  - Organization serving as a forum for users, researchers, and developers of logic programming systems and techniques.
• FoLLI  - Association for logic, language, and information. Aims to advance the practice research and education at the intersections of logic, linguistics, computer science, cognitive science, and related disciplines.
• Kurt Gödel Society  - International organization established to promote research in mathematical philosophy, history, and logic. Presents news and information on activities, membership, and grants.