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).


    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.

  • Set Theory and its Neighbours

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


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

Submit a site to this category