Organizations

Do you need Organizations?
Check it out the following sites about Organizations, or search Organizations

» 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 Conferenc
» 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.