Add your Web Site - Logic and Foundations - Organizations Add Search to your Site Search for: Internet Entire Directory Directory - Organizations Results per page: 10 20 50 Output format: Long Short URL Match: All Any Boolean Pages from: All Countries Afghanistan American Samoa Albania Algeria Andorra Angola Anguilla Antigua and Barbuda Antarctica Argentina Armenia Aruba Australia Austria Azerbaijan Bahamas Bahrain Bangladesh Barbados Belarus Belgium Belize Benin Bermuda Bhutan Bolivia Bosnia and Herzegovina Botswana Bouvet Island Brazil British Indian Ocean Territory Brunei Darussalam Bulgaria Burkina Faso Burundi Cambodia Cameroon Canada Cape Verde Cayman Islands Central African Republic Chad Chile China Christmas Island Cocos (Keeling) Islands Colombia Comoros Congo Cook Islands Costa Rica Cote D'Ivoire (Ivory Coast) Croatia (Hrvatska) Cuba Cyprus Czech Republic Czechoslovakia (former) Denmark Djibouti Dominica Dominican Republic East Timor Ecuador Egypt El Salvador Eritrea Estonia Ethiopia Equatorial Guinea Falkland Islands (Malvinas) Faroe Islands Fiji Finland France France, Metropolitan French Guiana French Polynesia French Southern Territories Gabon Gambia Germany Georgia Ghana Gibraltar Great Britain (UK) Greece Greenland Grenada Guadeloupe Guam Guatemala Guinea Guinea-Bissau Guyana Haiti Heard and McDonald Islands Honduras Hungary Hong Kong Iceland India Indonesia Iran Iraq Ireland Israel Italy Jamaica Japan Jordan Kazakhstan Kenya Kiribati Korea (North) Korea (South) Kuwait Kyrgyzstan Laos Latvia Lebanon Lesotho Liberia Libya Liechtenstein Lithuania Luxembourg Macau Macedonia Madagascar Malawi Malaysia Maldives Mali Malta Marshall Islands Martinique Mauritania Mauritius Mayotte Mexico Micronesia Moldova Monaco Mongolia Montserrat Morocco Mozambique Myanmar Namibia Nauru Nepal Netherlands Netherlands Antilles Neutral Zone New Caledonia New Zealand (Aotearoa) Northern Mariana Islands Nicaragua Niue Niger Nigeria Norfolk Island Norway Oman Pakistan Palau Panama Papua New Guinea Paraguay Peru Philippines Pitcairn Poland Portugal Puerto Rico Qatar Reunion Romania Russian Federation Rwanda Saint Kitts and Nevis Saint Lucia Saint Vincent and the Grenadines Samoa San Marino Sao Tome and Principe Saudi Arabia Senegal Seychelles Sierra Leone Singapore Slovak Republic Slovenia Solomon Islands Somalia South Africa S. Georgia and S. Sandwich Isls. Spain Sri Lanka St. Pierre and Miquelon St. Helena Sudan Suriname Svalbard and Jan Mayen Islands Swaziland Sweden Switzerland Syria Taiwan Tajikistan Tanzania Thailand Togo Tokelau Tonga Trinidad and Tobago Tunisia Turkey Turkmenistan Turks and Caicos Islands Tuvalu Uganda Ukraine United Arab Emirates United States Uruguay US Minor Outlying Islands Uzbekistan Vanuatu Vatican City State (Holy See) Venezuela Virgin Islands (British) Virgin Islands (U.S.) Viet Nam Wallis and Futuna Islands Western Sahara Yemen Yugoslavia Zaire Zambia Zimbabwe        Show pages from IntraNet   Show all pages  DIRECTORY/Science/Tech/Math/Logic and Foundations/Organizations (13) ALP - http://www.cwi.nl/projects/alp/ - Association for Logic Programming. Membership information, newsletter, journals, meetings.   ASL - http://www.aslonline.org/ - Association for Symbolic Logic.   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.   CSHPM - http://faculty.umf.maine.edu/~molinsky/cshpm/ - Canadian Society for History and Philosophy of Mathematics.   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   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)   EACSL - http://www.dimi.uniud.it/~eacsl/ - European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.   FoLLI - http://folli.loria.fr/ - European Association for Logic, Language and Information. Meetings and publications.   IGPL - http://www.di.ufpe.br/~igpl/ - Interest Group in Pure and Applied Logics: part of FoLLI.   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.   MVL-TC - http://cs3.el.gunma-u.ac.jp/MVL/ - IEEE Technical Committee on Multiple Valued Logic.    E-Mail: webmaster@teradex.com Copyright © 2007 Aaex Corp. all rights reserved.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor This site is presented in modified Open Directory form