- 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.
- 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.
- Kurt Gödel Society - An international organization for the promotion of research in the areas of Logic, Philosophy, History of Mathematics, above all in connection with the biography of Kurt Gödel.
- MVL-TC - IEEE Technical Committee on Multiple Valued Logic.
Last update: Apr 28, 2012 18:35:07. Phy.org is a private web site, powered by the Open Directory Project.
