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