Top > Science > Math > Logic and Foundations > Meetings > Series

» Boise Extravaganza in Set Theory Conferences - (BEST) organized at Department of Mathematics and Computer Science, Boise State University.

» CADE - Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning.

» FMOODS'08 - A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems.

» Formal Methods - World Congress on Formal Methods (FM).

» 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.

» LOPSTR - International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.

» MFPS - Mathematical Foundations of Programming Semantics. An annual series of meetings.

» NMRW - International Workshops on Nonmonotonic Reasoning.

» Set Theory and its Neighbours - A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.

» TABLEAUX - The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.

» TARK - Theoretical Aspects of Rationality and Knowledge - Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge.

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 may have been modified by clixShare