In Partnership with AOL

  • 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.
    [!]
Volunteer to edit this category.
Copyright © 1998-2014 AOL Inc. Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: January 4, 2014 at 20:52:52 UTC - edit