The Zagreb Logic Conference (ZLC) encompasses various branches of logic, such as higher order logic, modal logic, set theory, proof theory, model theory, but also philosophy of logic, history of logic, and applications of logic in computer science, computability and complexity. The venue is the Department of Mathematics, University of Zagreb. Invited speakers: Ivan Tomašić (Queen Mary University of London).
This masterclass Prof. Kourken Michaelian is devoted to the philosophy of memory and aims to provide an intensive forum for discussion of core debates and emerging directions in the field. It will combine two lectures by Prof. Michaelian with presentations by selected participants.
This PLM workshop aims to bring together philosophers and scientists working on memory. The workshop focuses on the role of memory traces and engrams for remembering. We intend to foster interdisciplinary dialogue on the theoretical foundations and empirical underpinnings of traces and engrams across philosophy, neuroscience, psychology, and related disciplines.
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2026 is the 34th edition of the conference and will be held in Paris on the 23-28 February 2026 and is organised by the Logic and Computation team of the LIPN of Sorbonne Paris Nord University.
The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability.
ESSLLI invites submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation in the form of long or short papers. ESSLLI invites submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation in the form of long or short papers.
DA2PL-2026 (From Multiple-Criteria Decision Aid to Preference Learning) aims to bring together researchers from decision analysis and machine learning. It provides a forum for discussing recent advances and identifying new research challenges in the intersection of both fields, thereby supporting a cross-fertilisation of these disciplines.
DA2PL will accept two kinds of submissions:
See the website for the topic suggestions and formatting requirements.
The Linguistics and English Language Postgraduate Conference is an annual event hosted by the School of Philosophy, Psychology and Language Sciences at the University of Edinburgh, and is open to students and recent graduates from all over the world. The event is held in-person only (no online or hybrid options available).
Postgraduates and recent PG grads are invited to submit abstracts in any subfield of linguistics, philosophy of language, and linguistic anthropology (except language pedagogy) for both oral and poster presentations. The presentations should be accessible to a general linguistics audience.
Talks will be 20 minutes + 10 minutes for questions. Abstracts should be 500 words excluding tables, references, and examples. Use this form to submit your abstracts.
LOFT 2026 will be the 16th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making.
Potential contributors should submit an extended abstract of approximately 5 to at most 10 pages (excluding references and appendices) in PDF format. Please submit your abstracts through this link.
Submissions should be prepared for double blind review and submitted through the website. Papers that have appeared in print, or are likely to appear in print before the conference, should not be submitted for presentation at LOFT.
Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cybersecurity.
The KR conference series is the leading forum for timely, in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge.
KR2026 will be part of the Federated Logic Conference (FLoC 2026).
We solicit papers presenting novel results on the principles of KR, which clearly contribute to the formal foundations of the field or show the applicability of KR techniques to implemented or implementable systems. We welcome papers from other areas that demonstrate clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests.
The programme of TACL 2026 will focus on three interconnected mathematical themes that are central to the semantic study of logic and its applications: algebraic, categorical, and topological methods.
Contributed talks on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science are welcome. Abstracts of proposed contributions must be submitted through EasyChair and may be at most 2 pages, including references (using EasyChair style). Contributed presentations will be 30 minutes long.
In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc.
The aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.
The Czech Academy of Sciences, Institute of Philosophy, announces Logica 2026, the 38th in the series of annual international symposia devoted to logic, to be held in Hejnice (in northern Bohemia, about 2.5 hours from Prague). The symposium welcomes submissions addressing any of the wide range of logical problems, with the exception of those focusing on specific technical applications. We especially welcome submissions that cover topics of interest to both 'philosophically' and 'mathematically' oriented logicians.
The conference focuses on empirical research in various areas of linguistics. The event aims at junior researchers to provide them with a platform for the presentation and discussion of research with their international peers. Contributions related to any world languages of all modalities are welcome.
This two-day workshop brings together an international line-up of female researchers working at the intersection of philosophy, theoretical linguistics, computational linguistics, logic, formal semantics and pragmatics, psychology, and political and social science. The event explores diverse perspectives on the semantics–pragmatics distinction, highlighting how interdisciplinary approaches can advance our understanding of meaning, context, and interpretation.
The workshop is in-person only. Attendance is free of charge, but registration is mandatory as places are limited. To register, please email Tamara Dobler.
The Logic Colloquium is the European Summer Meeting of the Association for Symbolic Logic, an annual gathering to present current research in all aspects of logic. It will be held in conjunction with the British Logic Colloquium 2026.
The conference is hosted by the Logicians in the newly founded Robert Recorde Centre for Fundamental Studies and the Theoretical Computer Science group at Swansea. Robert Recorde was a Welsh Mathematician and Philosopher who invented the = sign.
The programme committee invites proposals for contributed talks. These can be on published or unpublished work, as well as work in progress. The abstracts of accepted talks will be published the Bulletin of Symbolic Logic, subject to one of the authors of the abstract being a member of ASL. Contributed abstracts should be submitted to Shannon Miller at <asl at uconn.edu> .
Research methods in economics and social sciences are changing quickly with AI-driven analytics, Large Language Models, and causal machine learning. New Internet and Big Data sources support fresh approaches to measurement, inference, and theory testing. As these tools become more interdisciplinary, CARMA 2026 offers a forum for researchers and practitioners to share advances in computational and data-intensive methods applied to social and economic issues, and to discuss their opportunities and challenges.
The program committee encourages the submission of articles discussing challenges related to contemporary issues in Internet and Big Data in economics and social sciences. Authors from all over the world are invited to submit original and unpublished papers or extended abstracts, which are not under review in any other conference or journal. Students with accepted papers at CARMA 2026 are eligible for grants covering conference fees and partial travel expenses.
If you are interested in organizing a special session as part of CARMA 2026, please contact the organization at carmaconf at upv.es
The University of Gdańsk's Faculty of Mathematics, Physics and Informatics and Ghent University's Faculty of Bioscience Engineering co-organise 2026's essential event on cellular automata and other discrete dynamical systems.
There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. This conference series, which take place once every 2 or 3 years, hopes to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the world interested in these and related areas to exchange new ideas, problems and results.
The spirit of this conference series goes back to the Vienna Circle and to the initiative Logic, Methodology and Philosophy of Science by Alfred Tarski and others. The aim is to provide a friendly atmosphere that enables fruitful interdisciplinary cooperation leading to joint research and publications.
Submit your abstract (or extended abstract) for your talk via the following link:
<https://easychair.org/conferences/?conf=lrb26>
Extended abstracts are not required, but in case of submission, they should be no more than 2 pages, and should be submitted in PDF formatted for A4 paper.
NMR is the premier forum for results in the area of Nonmonotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications.
Two types of submissions are invited: full papers and extended abstracts. Special focus is on papers on systems and applications, as well as position papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers. Workshop activities will include invited talks and presentations of technical papers.
All submissions should be formatted in CEUR style (1-column). Paper registration closes on 03 April, but submissions remain open until 10 April.
The DL workshop is the major annual event of the description logic research community. It aims to bring together researchers from academia and industry that work in this field or in related fields. The workshop is co-located with KR 2026, the 23rd International Conference on Principles of Knowledge Representation and Reasoning as part of FLOC 2026, the Federated Logic Conference.
Two submission categories are open: extended abstracts (2-4 pages) and full papers (max. 11 pages).
Invited are contributions on all aspects of description logics, including, but not limited to: - Foundations of description logics - Extensions of description logics - Integration of description logics with other formalisms - Applications of description logics - Systems and tools of all kinds around description logics.
The 2026 edition of the summer school is open to women and members of other groups that are under-represented in mathematical philosophy. These groups include under-represented gender identities, races and ethnicities, people with disabilities, people from low income and non-academic family backgrounds. The target level is master students and last year-bachelor students.
The school's aim is to encourage students to engage with mathematical and scientific approaches to philosophical problems, and thereby help to redress the under-representation of women and other marginalized groups in mathematical philosophy. It offers the opportunity for study in an informal and interdisciplinary setting, for lively debate, and for the development of a network of students and professors interested in the application of formal methods to philosophy.
Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.
CiE 2026 will be colocated with other conferences and workshops:
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.
Two types of contributions are welcome: short papers (max. 8 pages) and long papers (max. 15 pages). Long papers should present original and significant research and/or development results. Short papers should concisely describe general results or specific applications, systems, or position statements.
This year, contributions at the intersection of databases and AI, reflecting the growing importance of data-centric and hybrid approaches to rule-based reasoning are particularly encouraged.
FOIS is a meeting point for all researchers with an interest in formal ontology. FOIS aims to be a nexus of interdisciplinary research and communication for researchers from many domains engaging with formal ontology.
Common application areas include conceptual modeling, database design, knowledge engineering and management, software engineering, organizational modeling, artificial intelligence, robotics, computational linguistics, the life sciences, bioinformatics and scientific research in general, geographic information science, information retrieval, library and information science, as well as the Semantic Web.
The conference encourages submission of high quality, not previously published results on both theoretical issues and practical advancements. FOIS 2026 will have distinct tracks for foundational issues, ontology applications and methods, and domain ontologies.
FOIS seeks full papers on three tracks: foundational track, methods, and onthology.