Home > Science > Mathematics > Foundations of Mathematics > Professional Associations
Web Sites
FoLLI: European Association for Logic, Language and Information
www.folli.uva.nl/ reviews
www.folli.uva.nl/ reviewsKR, Inc. www.kr.org/ reviews
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 ...
www.kr.org/ reviewsBritish Logic Colloquium www.cs.bham.ac.uk/~exr/blc/ reviews
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 ...
www.cs.bham.ac.uk/~exr/blc/ reviewsEaCSL's Home www.dimi.uniud.it/~eacsl/ reviews
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 ...
www.dimi.uniud.it/~eacsl/ reviewsCanadian Society for the History and Philosophy of Mathematics www.cshpm.org/ reviews
The Home Page of the Canadian Society for the History and Philosophy of Mathematics / Societe canadienne d'histoire et de philosophie des mathematiques ...
www.cshpm.org/ reviewsInterest Group in Pure and Applied Logics (IGPL) www.di.ufpe.br/~igpl/ reviews
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 ...
www.di.ufpe.br/~igpl/ reviewsAmerican Logic Programming Organization www.cs.nmsu.edu/~complog/ reviews
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 ...
www.cs.nmsu.edu/~complog/ reviews