Math / Logic_and_Foundations / Organizations — Science

European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.

ASL

Association for Symbolic 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 Conferences on Principles of Knowledge Representation and Reasoning, cooperating with workshops on related topics, and maintaining informational materials on the World Wide Web, and maintaining KR-related mailing lists.

COMPULOG Americas

American Logic Programming Organization.

Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (DVMLG)

Supports research in Mathematical Logic and the Foundations of the exact sciences in Germany; organizes a bi-annual conference. [Partly in German]

Science

Organizations resources