Google
  Web series.meetings.logic-and-foundations.math.sciencenter.work
Series Sites

Science Math Logic and Foundations Meetings Series
Science Math Logic and Foundations Meetings Series sites
Series.Meetings.Logic-and-Foundations.Math.sciencenter.work
Science Math Logic and Foundations Meetings Series
Science Math Logic and Foundations Meetings Series sites
Series.Meetings.Logic-and-Foundations.Math.science-sites.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 Object-based Distributed Systems.
discotec08.ifi.uio.no/FMOODS08/HomePage
Formal Methods
World Congress on Formal Methods (FM).
dblp.uni-trier.de/db/conf/fm/
LOPSTR
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.
www.cs.man.ac.uk/~kung-kiu/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 one-day 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/

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Directory listings are provided by Open Directory and modified by series.meetings.logic-and-foundations.math.sciencenter.work


Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 series.meetings.logic-and-foundations.math.sciencenter.work