We Share the Success. With You.

Search the Web:
Friday, October 10 
Home About Us Qualifications FAQ's North America  

  See also:


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

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

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

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

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

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

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

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

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

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

http://www.kr.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.

http://www.logic.at/kgs/
» 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.

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

http://upeulogica.topcities.com/
» UP Eulogica. Asia's First Student Logic Society - UP Eulogica is academic and social in nature. This is a co-educational, college-based student organization, which is university wide in membership. It accepts honorary members composed of UP students, professors, instructors and administrators.


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

The content of this directory is based on the Open Directory and may have been modified by clixShare

(c) 2003-2008 by Wild Wild Web, Inc. Terms of Service FAQ's Privacy Policy Free thumbnail preview by Thumbshots.org