www.manages.com - Open Directory

Directory : Science : Math : Logic and Foundations : Organizations :

Description


See Also :


  • 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.
  • 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.
  • International Federation for Computational Logic (IFCoLog) - A federation of societies and groups active in computational logic.
  • 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.
  • Search our Wiki for Logic Foundations Organizations - Find more information about this subject by clicking here

This category needs an editor


Last update : 2002-11-20 05:43:14

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor