Web Site Information :.

• Site Info
• Whois
• Traceroute
• RBL Check
• What's My IP?

Top / Science / Math / Logic_and_Foundations / Organizations /

EACSL European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list. http://www.dimi.uniud.it/~eacsl/ Uniud.it  ~   Site Info   Whois   Trace Route   RBL Check   ALP Association for Logic Programming. Membership information, newsletter, journals, meetings. http://www.cwi.nl/projects/alp/ Cwi.nl  ~   Site Info   Whois   Trace Route   RBL Check   IGPL Interest Group in Pure and Applied Logics: part of FoLLI. http://www.di.ufpe.br/~igpl/ Ufpe.br  ~   Site Info   Whois   Trace Route   RBL Check   ASL Association for Symbolic Logic. http://www.aslonline.org/ Aslonline.org  ~   Site Info   Whois   Trace Route   RBL Check   DVMLG Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German) http://www.math.fu-berlin.de/~dvmlg/ Fu-berlin.de  ~   Site Info   Whois   Trace Route   RBL Check   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://www.logic.at/kgs/ Logic.at  ~   Site Info   Whois   Trace Route   RBL Check   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 Conferen http://www.kr.org/ Kr.org  ~   Site Info   Whois   Trace Route   RBL Check   British Logic Colloquium Meetings, publications, reports and resources. http://www.cs.bham.ac.uk/~exr/blc/ Bham.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   COMPULOG Americas American Logic Programming Organization. http://www.cs.nmsu.edu/~complog/ Nmsu.edu  ~   Site Info   Whois   Trace Route   RBL Check   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://www.amsta.leeds.ac.uk/pure/staff/cooper/cie.html Leeds.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check