Math Logic and Foundations Meetings in the Best of the Web Directory

Math Logic and Foundations Meetings

  • AiML b

    Bi-annual international conference and book series. Featuring new developments in pure and applied modal logic, at varying locations throughout the world with book series based on the conferences.

  • CADE

    International Forum on Automated Deduction. Subcorporation of the Association of Automated Reasoning.

  • Formal Methods

    World Congress on Formal Methods (FM).

  • LOPSTR

    International workshops that aim to stimulate and promote international research and collaboration on logic-based program development. Held annually since 1991.

  • MFPS - Mathematical Foundations of Programming Semantics.

    Provides venue where mathematicians can meet with computer scientists whose research interest are both on semantics.

  • NMRW

    International Workshops on Nonmonotonic Reasoning that bring together active researchers interested in the topic to discuss current research, results, and problems of both theoretical and practical nature.

  • Set Theory and its Neighbours

    Held at the London Mathematical Society, De Morgan House, Russell Square, London.

  • TABLEAUX

    Annual International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Held since 1992.

Submit a site to this category