

Science Math Logic and Foundations Meetings Series Science Math Logic and Foundations Meetings Series sites Series.Meetings.LogicandFoundations.Math.sciencenter.work 

Science Math Logic and Foundations Meetings Series Science Math Logic and Foundations Meetings Series sites Series.Meetings.LogicandFoundations.Math.sciencesites.work 

CADE Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning. www.cs.albany.edu/~nvm/cade.html 

FMOODS'08 A conference aiming to provide an integrated forum for research on formal aspects of Open Objectbased Distributed Systems. discotec08.ifi.uio.no/FMOODS08/HomePage 

Formal Methods World Congress on Formal Methods (FM). dblp.unitrier.de/db/conf/fm/ 

LOPSTR International Workshop on Logicbased Program Synthesis and Transformation. Held annually since 1991. www.cs.man.ac.uk/~kungkiu/lopstr/ 

MFPS Mathematical Foundations of Programming Semantics. An annual series of meetings. dauns.math.tulane.edu/~mfps/ 

Set Theory and its Neighbours A series of oneday meetings held at the London Mathematical Society , De Morgan House , Russell Square , London. 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. i12www.ira.uka.de/TABLEAUX/ 

TARK  Theoretical Aspects of Rationality and Knowledge Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge. www.tark.org/ 
