Sites

DVMLG (Popularity: )

Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German)

Computability in Europe Homepage (Popularity: )

Information on the "Computability in Europe" network of mathematicians, computer scientists, philosophers and scientists with ...

International Federation for Computational Logic (IFCoLog) (Popularity: )

A federation of societies and groups active in computational logic.

ASL (Popularity: )

Association for Symbolic Logic.

Kurt Gödel Society (Popularity: )

An international organization for the promotion of research in the areas of Logic, Philosophy, History ...

UP Eulogica. Asia's First Student Logic Society (Popularity: )

UP Eulogica is academic and social in nature. This is a co-educational, college-based student organization, ...

British Logic Colloquium (Popularity: )

Meetings, publications, reports and resources.

COMPULOG Americas (Popularity: )

American Logic Programming Organization.

ALP (Popularity: )

Association for Logic Programming. Membership information, newsletter, journals, meetings.

IGPL (Popularity: )

Interest Group in Pure and Applied Logics: part of FoLLI.

FoLLI (Popularity: )

European Association for Logic, Language and Information. Meetings and publications.

KR, Inc. (Popularity: )

Principles of Knowledge Representation and Reasoning, Incorporated. A charitable organization fostering research and communication on ...

CSHPM (Popularity: )

Canadian Society for History and Philosophy of Mathematics.