Professional organizations for people working in the field of mathematical logic.
Related categories 1
Sites 9
- 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.
- IGPL Interest Group in Pure and Applied Logics: part of FoLLI.
- 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
- MVL-TC IEEE Technical Committee on Multiple Valued Logic.
- 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.