Directory Help Search only in OrganizationsSearch the Web

Organizations

Science > Math > Logic and Foundations > Organizations

Go to Directory Home

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	http://www.aslonline.org/ - http://www.aslonline.org/ Association for Symbolic Logic.
	http://folli.loria.fr/ - http://folli.loria.fr/ European Association for Logic, Language and Information. Meetings and publications.
	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.
	http://www.cwi.nl/projects/alp/ - http://www.cwi.nl/projects/alp/ Association for Logic Programming. Membership information, newsletter, journals, meetings.
	British Logic Colloquium - http://www.cs.bham.ac.uk/~exr/blc/ Meetings, publications, reports and resources.

	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.
	COMPULOG Americas - http://www.cs.nmsu.edu/~complog/ American Logic Programming Organization.
	http://www.di.ufpe.br/~igpl/ - http://www.di.ufpe.br/~igpl/ Interest Group in Pure and Applied Logics: part of FoLLI.
	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://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)
	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

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...