Guest! Login/Join

DomainTools.com
Whois Domain Search Domain Suggestions For Sale Sales History Auction Search Domain Monitor Domain Directory
Ping Traceroute My IP Address Domain Parking Cheap Domain Name Registration Bulk Check Domain Typo Generator more>
Power Tools: Reverse IP Domain History Mark Alert Name Server Spy Hosting History Registrant Search Registrant Alert

 

Organizations


Directory > Science > Math > Logic_and_Foundations > Organizations
Related Categories:
   Science > Math > Organizations (103)


6 Listings - DR (10/10)6 Listings - DR (10/10) 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.
8 Listings - DR (7/10)8 Listings - DR (7/10) 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.
195 Listings - DR (7/10)195 Listings - DR (7/10) CSHPM - http://faculty.umf.maine.edu/~molinsky/cshpm/
Canadian Society for History and Philosophy of Mathematics.
192 Listings - DR (6/10)192 Listings - DR (6/10) 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
241 Listings - DR (6/10)241 Listings - DR (6/10) British Logic Colloquium - http://www.cs.bham.ac.uk/~exr/blc/
Meetings, publications, reports and resources.
48 Listings - DR (6/10)48 Listings - DR (6/10) ALP - http://www.cwi.nl/projects/alp/
Association for Logic Programming. Membership information, newsletter, journals, meetings.
38 Listings - DR (6/10)38 Listings - DR (6/10) FoLLI - http://folli.loria.fr/
European Association for Logic, Language and Information. Meetings and publications.
13 Listings - DR (3/10)13 Listings - DR (3/10) IGPL - http://www.di.ufpe.br/~igpl/
Interest Group in Pure and Applied Logics: part of FoLLI.
On Target - DR (2/10)On Target - DR (2/10) ASL - http://www.aslonline.org/
Association for Symbolic Logic.
445 Listings - DR (2/10)445 Listings - DR (2/10) 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)
22 Listings - DR (0/10)22 Listings - DR (0/10) MVL-TC - http://cs3.el.gunma-u.ac.jp/MVL/
IEEE Technical Committee on Multiple Valued Logic.
110 Listings - DR (0/10)110 Listings - DR (0/10) EACSL - http://www.dimi.uniud.it/~eacsl/
European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.
151 Listings - DR (0/10)151 Listings - DR (0/10) COMPULOG Americas - http://www.cs.nmsu.edu/~complog/
American Logic Programming Organization.

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

Domain Tools analysis of DMOZ top listed domains