LOPSTR - International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991. CADE - Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning. TABLEAUX - The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings. Set Theory and its Neighbours - A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London. Formal Methods - World Congress on Formal Methods (FM). FMOODS'08 - A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems. TARK - Theoretical Aspects of Rationality and Knowledge - Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge. MFPS - Mathematical Foundations of Programming Semantics. An annual series of meetings.