ABC HOME web search Web Search web search Web Directory web search Image Search web search Video Search web search Shopping web search 4WX Weather web search Domain Search
ABC Directory
Arts Business Computers Games Health Home Kids News
Recreation Reference Regional Science Shopping Society Sports Adult

Organizations (15)

Also See:
Sponsors:
Web Sites In this Category:

EACSL Open in a new browser window  
   European Association for Computer Science Logic. Newsletter, meetings, index to conference proceedings, membership list.
   http://www.dimi.uniud.it/~eacsl/
ALP Open in a new browser window  
   Association for Logic Programming. Membership information, newsletter, journals, meetings.
   http://www.cwi.nl/projects/alp/
IGPL Open in a new browser window  
   Interest Group in Pure and Applied Logics: part of FoLLI.
   http://www.di.ufpe.br/~igpl/
ASL Open in a new browser window  
   Association for Symbolic Logic.
   http://www.aslonline.org/
FoLLI Open in a new browser window  
   European Association for Logic, Language and Information. Meetings and publications.
   http://www.folli.uva.nl/
DVMLG Open in a new browser window  
   Deutsche Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (site partly in German)
   http://www.math.fu-berlin.de/~dvmlg/
Kurt Gödel Society Open in a new browser window  
   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/
International Federation for Computational Logic (IFCoLog) Open in a new browser window  
   A federation of societies and groups active in computational logic.
   http://www.ifcolog.org/
KR, Inc. Open in a new browser window  
   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 Conferenc
   http://www.kr.org/
British Logic Colloquium Open in a new browser window  
   Meetings, publications, reports and resources.
   http://www.cs.bham.ac.uk/~exr/blc/
COMPULOG Americas Open in a new browser window  
   American Logic Programming Organization.
   http://www.cs.nmsu.edu/~complog/
CSHPM Open in a new browser window  
   Canadian Society for History and Philosophy of Mathematics.
   http://www.cshpm.org/
MVL-TC Open in a new browser window  
   IEEE Technical Committee on Multiple Valued Logic.
   http://wwwj3.comp.eng.himeji-tech.ac.jp/mvl/
UP Eulogica. Asia's First Student Logic Society Open in a new browser window  
   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.
   http://upeulogica.topcities.com/
Computability in Europe Homepage Open in a new browser window  
   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

Last Updated: 2004-12-06 23:09:30


Directory Search:  

OR, You can also try your search with one of the following ABC Search Features
ABC Web Search  
ABC Media Search 
ABC Shopping 

Add your website to this category

Keywords and References for this category
Organizations directory, Organizations websites, Organizations related info, Organizations resources, Organizations information, Organizations links, Organizations search, Organizations category, Organizations online.



Copyright © 1996-2005 ABC.NET Search Portal!