Professional Associations

Professional Associations Links

EACSL European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.
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.
CSHPM Canadian Society for History and Philosophy of Mathematics.
MVL-TC IEEE Technical Committee on Multiple Valued Logic.
ALP Association for Logic Programming. Membership info, newsletter, journals, meetings.
International Federation for Computational Logic (IFCoLog) A federation of societies and groups active in computational logic.
IGPL Interest Group in Pure and Applied Logics: part of FoLLI.
FoLLI European Association for Logic, Language and Information. Meetings and publications.
ASL Association for Symbolic Logic.
DVMLG Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German)
COMPULOG Americas American Logic Programming Organization.

Help build the largest human-edited directory on the web.