In Partnership with AOL

See also:
  • ASL - Association for Symbolic Logic.
    [!]
  • British Logic Colloquium - Meetings, publications, reports and resources.
    [!]
  • COMPULOG Americas - American Logic Programming Organization.
    [!]
  • Computability in Europe Homepage - Information on the "Computability in Europe" network of mathematicians, computer scientists, philosophers and scientists with research interests in computability issues
    [!]
  • CSHPM - Canadian Society for History and Philosophy of Mathematics.
    [!]
  • 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]
    [!]
  • EACSL - European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.
    [!]
  • IGPL - Interest Group in Pure and Applied Logics: part of FoLLI.
    [!]
  • 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.
    [!]
  • MVL-TC - IEEE Technical Committee on Multiple Valued Logic.
    [!]
Volunteer to edit this category.
Copyright © 1998-2014 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: December 21, 2013 at 21:48:46 UTC - edit