Home |
Series (10) Sites:
» Boise Extravaganza in Set Theory Conferences
(BEST) organized at Department of Mathematics and Computer Science, Boise State University. http://math.boisestate.edu/~best/ » CADE
Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning. http://www.cs.albany.edu/~nvm/cade.html » FMOODS'08
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 » LICS
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/ » LOPSTR
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991. http://www.cs.man.ac.uk/~kung-kiu/lopstr/ » MFPS
Mathematical Foundations of Programming Semantics. An annual series of meetings. http://math.tulane.edu/~mfps/ » Set Theory and its Neighbours
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 » TABLEAUX
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
The content of this directory is based on the Open Directory and has been modified by GoSearchFor.com |