Math Logic and Foundations Meetings

• Calendars
• Past Events

• British Logic Colloquium
• ESSLLI
• ISMVL
• Logic Colloquium
• WoLLIC

• Science: Math: Events 

• 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.
• CiE-CS  - Series of Computability in Europe conference series. Organized by the CiE Conference Series Steering Committee: Barry Cooper, Benedikt Lwe, Dag Normann and Andrea Sorbi.
• Formal Methods  - World Congress on Formal Methods (FM).
• ICoS  - Workshop series devoted to promoting research on Inference in Computational Semantics. Endorsed by SIGSEM.
• LICS  - IEEE Symposium on Logic in Computer Science. Annual international symposium on theoretical and practical topics in computer science related to logic in a broad sense.
• Logic and Algorithms  - Program on active areas of research dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity. Isaac Newton Institute for Mathematical Sciences, Cambridge, UK. January 16 to July 7, 2006.
• LOPSTR  - International workshops that aim to stimulate and promote international research and collaboration on logic-based program development. Held annually since 1991.
• Methods for Modalities  - Bringing together researchers, developing proof tools and decision methods for modal logic.
• 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.