ASL Homepage ...

KR, Inc. Principles of Knowledge Representation and Reasoning, Incorporated is a charitable organization incorporated in the state of Massachusetts of the United States of America concerned with fostering research and communication on knowledge representation and reasoning. Its primary activities include organizing a ...

British Logic Colloquium The BLC is a charity registered in England & Wales (ref no 275541). Its objects are to advance the education of the public within Great Britain and Northern Ireland in the study of formal or mathematical logic and other subjects in so far as they relate to such logic. Activities, Committee, Meetings, Constitution Membership application form In HTML Standing Order mandate ...

EACSL European Association for Computer Science Logic The EACSL was founded on July 14th 1992, by computer scientists and logicians from 14 countries. The Association acts as an international professional non-profit organization. Computer science logic is an interdisciplinary field between mathematical logic and computer science. The EACSL promotes computer science logic in the areas of ...

The Home Page of the Canadian Society for the History and Philosophy of Mathematics / Societe canadienne d'histoire et de philosophie des mathematiques ...

Interest Group in Pure and Applied Logics (IGPL) Our main activity is that of a research and information clearing house, and there is no cost involved in joining the group. The group is part of The European Association for Logic, Language and Information (FoLLI). It grew out of an idea about setting up an organisation in London for the exchange of information on logic among the various ...

COMPULOG Americas: The American Logic Programming Association WELCOME to the COMPULOG Americas homepage COMPULOG Americas aims to serve as a forum where users, researchers and developers of logic programming (LP) systems and techniques can come together for common good. The organization aims to: foster better communication among LP research groups, LP related companies, and LP users in Americas ...