Google Directory - Science > Math > Logic and Foundations

Directory Help
Search only in OrganizationsSearch the Web

Organizations

Science > Math > Logic and Foundations > Organizations

Go to Directory Home

Web Pages

View in Google PageRank order Viewing in alphabetical order

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

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

Computability in Europe Homepage - http://www.amsta.leeds.ac.uk/pure/staff/cooper/cie.html
Information on the "Computability in Europe" network of mathematicians, computer scientists, philosophers and scientists with research interests in computability issues

http://cs3.el.gunma-u.ac.jp/MVL/ - http://cs3.el.gunma-u.ac.jp/MVL/
IEEE Technical Committee on Multiple Valued Logic.

http://faculty.umf.maine.edu/~molinsky/cshpm/ - http://faculty.umf.maine.edu/~molinsky/cshpm/
Canadian Society for History and Philosophy of Mathematics.

http://folli.loria.fr/ - http://folli.loria.fr/
European Association for Logic, Language and Information. Meetings and publications.

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

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

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

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

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

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

Kurt Gödel Society - http://www.logic.at/kgs/
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.

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

Submit a Site - Open Directory Project - Become an Editor