| ALP: Association for Logic Programming. Membership information, newsletter, journals, meetings. |
| 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. |
| DVMLG: Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German) |
| EACSL: European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list. |
| FoLLI: European Association for Logic, Language and Information. Meetings and publications. |
| 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. |
| UP Eulogica. Asia's First Student Logic Society: UP Eulogica is academic and social in nature. This is a co-educational, college-based student organization, which is university wide in membership. It accepts honorary members composed of UP students, professors, instructors and administrators. |
Classical
