EACSL European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list. http://www.dimi.uniud.it/~eacsl/

ALP Association for Logic Programming. Membership information, newsletter, journals, meetings. http://www.cwi.nl/projects/alp/

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

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

FoLLI European Association for Logic, Language and Information. Meetings and publications. http://www.folli.uva.nl/

DVMLG Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German) http://www.math.fu-berlin.de/~dvmlg/

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. http://www.logic.at/kgs/

International Federation for Computational Logic (IFCoLog) A federation of societies and groups active in computational logic. http://www.ifcolog.org/

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

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

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

CSHPM Canadian Society for History and Philosophy of Mathematics. http://www.cshpm.org/

MVL-TC IEEE Technical Committee on Multiple Valued Logic. http://wwwj3.comp.eng.himeji-tech.ac.jp/mvl/

Church Program understands the different types of lambda expressions, can extract lists of variables (both free and bound) and subterms, and can simplify complicated expressions. Uses Python. http://www.alcyone.com/software/church/