Directory of Series Resources

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

Regular series of meetings, conferences and symposia related to mathematical logic.

Resources in This Category

• CADE

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

• FMOODS'08

  http://discotec08.ifi.uio.no/FMOODS08/HomePage
  A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems.

• Formal Methods

  http://dblp.uni-trier.de/db/conf/fm/
  World Congress on Formal Methods (FM).

• LOPSTR

  http://www.cs.man.ac.uk/~kung-kiu/lopstr/
  International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.

• MFPS

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

• Set Theory and its Neighbours

  http://www.ucl.ac.uk/~ucahcjm/stn.html
  A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.

• TABLEAUX

  http://i12www.ira.uka.de/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

  http://www.tark.org/
  Binannual conferences on interdisciplinary issues involving reasoning about rationality and knowledge.

 

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

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us