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

Series (14)

Sponsors:
Web Sites In this Category:

TARK - Theoretical Aspects of Rationality and Knowledge Open in a new browser window  
   Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge.
   http://www.tark.org/
AiML - Advances in Modal Logic Open in a new browser window  
   A bi-annual workshop and book series. The aim of the workshop series is to report on important new developments in pure and applied modal logic, at varying locations throughout the world. The book series is based on the workshops.
   http://turing.wins.uva.nl/~mdr/AiML/
Boise Extravaganza in Set Theory Conferences Open in a new browser window  
   (BEST) organized at Department of Mathematics and Computer Science, Boise State University.
   http://math.boisestate.edu/~best/
CADE Open in a new browser window  
   Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning.
   http://www.cs.albany.edu/~nvm/cade.html
TABLEAUX Open in a new browser window  
   The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.
   http://i12www.ira.uka.de/TABLEAUX/
FMOODS Open in a new browser window  
   Formal Methods for Open Object-based Distributed Systems. An annual series of conferences.
   http://www.cs.ukc.ac.uk/research/netdist/fmoods/
Set Theory and its Neighbours Open in a new browser window  
   A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.
   http://www.ucl.ac.uk/~ucahcjm/stn.html
Inference in Computational Semantics (ICoS) Open in a new browser window  
   An annual series of workshops. Endorsed by SIGSEM, the ACL Special Interest Group in Computational Semantics.
   http://turing.wins.uva.nl/~mdr/ICoS/
Methods for Modalities Open in a new browser window  
   A series of workshops on the relationship between modal formalisms and computer science.
   http://turing.wins.uva.nl/~m4m/
Formal Methods Open in a new browser window  
   World Congress on Formal Methods (FM).
   http://dblp.uni-trier.de/db/conf/fm/
LICS Open in a new browser window  
   IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.
   http://logik.mathematik.uni-freiburg.de/lics/
LOPSTR Open in a new browser window  
   International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.
   http://www.cs.man.ac.uk/~kung-kiu/lopstr/
NMRW Open in a new browser window  
   International Workshops on Nonmonotonic Reasoning.
   http://www.kr.org/RelatedConferences.html
MFPS Open in a new browser window  
   Mathematical Foundations of Programming Semantics. An annual series of meetings.
   http://math.tulane.edu/~mfps/

Last Updated: 2004-12-10 04:15:51


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
Series directory, Series websites, Series related info, Series resources, Series information, Series links, Series search, Series category, Series online.



Copyright © 1996-2005 ABC.NET Search Portal!