Logic and Foundations Organizations in the Best of the Web Directory

Logic and Foundations 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.

See Also:
Submit a site to this category