Directory of Organizations Resources

Home > Science > Math > Logic and Foundations > Organizations

Professional organizations for people working in the field of mathematical logic.

Resources in This Category

• ASL

  http://www.aslonline.org/
  Association for Symbolic Logic.

• British Logic Colloquium

  http://www.cs.bham.ac.uk/~exr/blc/
  Meetings, publications, reports and resources.

• COMPULOG Americas

  http://www.cs.nmsu.edu/~complog/
  American Logic Programming Organization.

• Computability in Europe Homepage

  http://www.amsta.leeds.ac.uk/pure/staff/cooper/cie.html
  Information on the "Computability in Europe" network of mathematicians, computer scientists, philosophers and scientists with research interests in computability issues

• Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (DVMLG)

  http://www.dvmlg.de/
  Supports research in Mathematical Logic and the Foundations of the exact sciences in Germany; organizes a bi-annual conference. [Partly in German]

• EACSL

  http://www.eacsl.org/
  European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.

• IGPL

  http://www.di.ufpe.br/~igpl/
  Interest Group in Pure and Applied Logics: part of FoLLI.

• KR, Inc.

  http://www.kr.org/
  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

  http://cs3.el.gunma-u.ac.jp/MVL/
  IEEE Technical Committee on Multiple Valued Logic.

Related Categories

• Home > Science > Math > Organizations

 

Home > Science > Math > Logic and Foundations > Organizations

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us