The Symposium is an international logic conference bringing together researchers in philosophical logic, mathematical logic, and logic in computer science.
The Nordic Logic Summer School will take place immediately before the symposium. It is aimed primarily at PhD students and early-career researchers and offers introductory and advanced courses in logic and its applications.
The Symposium is an international logic conference bringing together researchers in philosophical logic, mathematical logic, and logic in computer science. It will take place from August 21 to August 23, 2026.
The Nordic Logic Summer School will take place immediately before the symposium, from August 17 to August 20, 2026. It is aimed primarily at PhD students and early-career researchers and offers introductory and advanced courses in logic and its applications.
RuleML+RR 2026 aims to bring together researchers and practitioners interested in the foundations and applications of rules and reasoning.
This year's edition will be co-located with several events as part of
The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading venue in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, it provides a forum for stimulating cooperation between different communities focused on the research, development, and applications of rule-based systems.
The RuleML+RR 2026 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2026 and the Reasoning Web Summer School 2026.
Summer school in Logic organized by Italian Association for Logic (AILA). Further information on AILA's website (in Italian) or via email.
The Amsterdam Colloquia aim to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.
With this year's edition, the Amsterdam Colloquium turns half a century old! To celebrate the 50th anniversary we will host a Special Session on The Past and Future of Semantics. In addition to the general program and the special session, the 25th Amsterdam Colloquium will feature a workshop on Semantics and Non-classical Logics. The Colloquium will also include a poster session and an evening lecture by Prof. Nicholas Asher, jointly organised with the E. W. Beth Foundation.
The paper submission is now open on the journal website: https://platform.openjournals.nl/PAC/about/submissions
Authors can submit an anonymous abstract of at most two pages (excluding references), with an optional third page for tables and figures, with 1 inch margin and 11pt font. The time for presentations of accepted submissions for both regular programme and the workshops is 30 mins (20/25 mins + Q&A). Every author may submit more than one abstract, but only one in which they appear as the first author.
ICLA 2027 is the 12th edition of the biennial conference organised by the Association for Logic in India (ALI). It serves as a forum that brings together researchers from a variety of disciplines in which formal logic plays a significant, and often foundational, role, including Mathematics, Computer Science, Philosophy, Linguistics, and Cognitive Science. A distinctive feature of ICLA is its inclusion of research on systems of logic in the Indian tradition, as well as historical studies of logic.
Authors are invited to submit papers presenting original and unpublished research in any area of logic and its applications. Submissions must be written in English and should provide sufficient detail to enable the Programme Committee to assess the merits of the work.