Home    |Web Directory    |Metasearch    |Message Boards    |Classified Ads|

Web Directory

Home

Web Directory

Metasearch

Message Boards

Classified Ads








Series (10)

Sites:

http://math.boisestate.edu/~best/
» 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/
http://www.cs.albany.edu/~nvm/cade.html
» 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
http://discotec08.ifi.uio.no/FMOODS08/HomePage
» FMOODS'08 Open in a new browser window
   A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems.
   http://discotec08.ifi.uio.no/FMOODS08/HomePage
http://dblp.uni-trier.de/db/conf/fm/
» Formal Methods Open in a new browser window
   World Congress on Formal Methods (FM).
   http://dblp.uni-trier.de/db/conf/fm/
http://www2.informatik.hu-berlin.de/lics/
» 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://www2.informatik.hu-berlin.de/lics/
http://www.cs.man.ac.uk/~kung-kiu/lopstr/
» 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/
http://math.tulane.edu/~mfps/
» MFPS Open in a new browser window
   Mathematical Foundations of Programming Semantics. An annual series of meetings.
   http://math.tulane.edu/~mfps/
http://www.kr.org/RelatedConferences.html
» NMRW Open in a new browser window
   International Workshops on Nonmonotonic Reasoning.
   http://www.kr.org/RelatedConferences.html
http://www.ucl.ac.uk/~ucahcjm/stn.html
» 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
http://i12www.ira.uka.de/TABLEAUX/
» 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/

This category needs an editor

Last Updated: 2007-01-02 17:54:52





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

The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com

Free previews by Thumbshots.org