Organizations (Logic and Foundations)

Organizations Sites:

CSHPM CSHPM: Canadian Society for History and Philosophy of Mathematics. (Organizations) http://www.cshpm.org/ MVL-TC MVL-TC: IEEE Technical Committee on Multiple Valued Logic. (Organizations) http://wwwj3.comp.eng.himeji-tech.ac.jp/mvl/ DVMLG DVMLG: Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German) (Organizations) http://www.math.fu-berlin.de/~dvmlg/ Kurt Gödel Society 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. (Organizations) http://www.logic.at/kgs/ ALP ALP: Association for Logic Programming. Membership information, newsletter, journals, meetings. (Organizations) http://www.cwi.nl/projects/alp/ International Federation for Computational Logic (IFCoLog) International Federation for Computational Logic (IFCoLog): A federation of societies and groups active in computational logic. (Organizations) http://www.ifcolog.org/ FoLLI FoLLI: European Association for Logic, Language and Information. Meetings and publications. (Organizations) http://www.folli.uva.nl/ ASL ASL: Association for Symbolic Logic. (Organizations) http://www.aslonline.org/ COMPULOG Americas COMPULOG Americas: American Logic Programming Organization. (Organizations) http://www.cs.nmsu.edu/~complog/ EACSL EACSL: European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list. (Organizations) http://www.dimi.uniud.it/~eacsl/ British Logic Colloquium British Logic Colloquium: Meetings, publications, reports and resources. (Organizations) http://www.cs.bham.ac.uk/~exr/blc/ IGPL IGPL: Interest Group in Pure and Applied Logics: part of FoLLI. (Organizations) http://www.di.ufpe.br/~igpl/ KR, Inc. 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 Conferenc (Organizations) http://www.kr.org/