The APMP aims to foster the philosophy of mathematical practice, that is, a broad outward-looking cluster of approaches to understanding mathematics. Relevant themes include issues in the methodology and epistemology of mathematics, history of mathematics, applications of mathematics, mathematical education, and cognitive science.
Keynote Speakers Carolin Antos (University of Konstanz), Marc Lange (UNC Chapel Hill), John Mumma (CSU San Bernardino), Elaine Pimentel (University College London), Akshay Venkatesh (Institute for Advanced Study) and Keith Weber (Rutgers University).
Hosted by the Association for the Advancement of Artificial Intelligence (AAAI), the Annual AAAI Conference on Artificial Intelligence (AAAI) is one of the oldest and most comprehensive top-tier conferences in the field of AI. At AAAI 2026, a Bridge Program on "Logic & AI" will be featured. This two-day Bridge Program on Logic & AI aims to thoroughly explore and expand the intersection of AI and Logic. It will be a platform for systematic discussion about new applications of various logical methods in AI, with special interest in the logical and symbolic reasoning abilities of LLMs. We hope this Bridge Program will explore various approaches to enhancing the capabilities of LLMs in solving complex logical tasks. In addition, this exploration could serve as a valuable model for integrating neural networks with symbolic methods.
The 2026 Dutch Winter School on Logic and Verification is a 3.5 day event aimed at PhD/graduate students in theoretical computer science with an interest in software verification, logic, and type theory. Strong master students, as well as researchers and practitioners, are equally welcome. Participants are expected to have a background in theoretical computer science, mathematics or a related discipline at a master’s level, and have basic familiarity with (functional) programming, semantics, and logic.
The winter school is organized as part of the project "Cyclic Structures in Programs and Proofs".
Registration is open. Hotel block booking ends 24 Nov. Early registration ends 7 Dec 2025.
We are pleased to announce the AAAI-26 Workshop on Post-AI Formal Methods (P-AI-FM), which will take place in conjunction with AAAI-26, January 26th, 2026, in Singapore.
The workshop aims to bring together the communities of Formal Methods and Artificial Intelligence, exploring how symbolic reasoning, verification, and trustworthy AI can jointly address the challenges of modern AI systems.
The annual ILLC PhD Day is coming up! We look forward to another inspiring day of research and exchange within the ILLC community. The programme will feature presentations and posters by our PhD candidates, as well as opportunities to meet fellow researchers and discuss ongoing work across the four ILLC research units.
The conference will consist of five invited talks of 50 minutes and contributed talks of 15-20 minutes. The topics will include: Universal Algebra, Model Theory, Clones, Lattices, Categories, Semigroups, Applications, e.g., in Computer Science, and Classical Algebra.
Participants may submit abstracts for contributed talks (of approximately 15-20 minutes) via this link. Speakers may modify abstracts in the form after submission.
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.
Welcome are contributions employing quantitative and qualitative empirical research methods,
synchronic and diachronic perspectives, cross-linguistic research, corpus research, modelling,
psycho- and neurolinguistic and cognitively oriented approaches as well as applied ones,
concerning any language and register – spoken, written or sign.
The contributions can be in the format of oral presentations (20 minutes talk + 10 minutes discussion) or poster presentations of original, unpublished data-oriented work. The presented work can be already finished, preregistered (i.e., preregistered reports) or still ongoing. Abstracts on such projects should present detailed information on the methodological aspects (sample, method applied), planned analysis, and theoretical relevance.
IACAP has a long tradition of promoting philosophical dialogue and interdisciplinary research on all aspects of computing. Its members have contributed to the philosophical and ethical debates about computing, information technologies, and artificial intelligence. The 2026 annual conference will continue this tradition by bringing together researchers from various fields who are interested in the topics covered in various tracks.
The International Association for Computing and Philosophy (IACAP) is pleased to put out this call for abstracts for its next conference in 2026.
For submissions, visit the conference website and follow the steps as laid out here: https://www.iacap.org/2025/10/10/iacap-2026-kansas/
Computability in Europe (CiE) is a conference series interfacing informatics and mathematics.
CiE 2026 will be colocated with other conferences and workshops:
Two types of contributions are welcome: abstracts and full papers.
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
Areas of interest include (but are not limited to): Categorical logic Computability theory History of Logic Logic in Computer Science Logic in Human Reasoning Model theory Nonclassical and modal logics Philosophical logic Proof theory Reasoning in AI Set theory
Papers should be written in English, a maximum of 5 pages long, and prepared (in PDF format) using the EasyChair class style. Submissions will happen through EasyChair. Graduate students and early-career researchers are invited to submit a short, 1-page abstract on preliminary work that may not be ready for a full talk yet.
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.
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.
This one-day symposium aims to bring together game theory researchers from across the Netherlands, with a special emphasis on early-career researchers and PhD-students.
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.
Join us for the 4th edition of the Amsterdam/Saint-Etienne Workshop on Social Choice, jointly organised by GATE and ILLC. This edition will take place in Saint-Etienne, France. Registration is free but required (students also welcome).
Travel grants for a small number of participants are available. To be considered, register and submit your contribution by 20 February 2026. For more information, visit the workshop's website.
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.
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.
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.
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. Visit also the general NMR webpage: https://nmr.krportal.org/.
Reseracher are invited to submit full papers or extended abstracts. Areas of interest include (but are not limited to): Categorical logic, Computability theory, History of Logic, Logic in Computer Science, Logic in Human Reasoning, Model theory Nonclassical and modal logics, Philosophical logic, Proof theory, Reasoning in AI, Set theory.
Papers should be written in English, a maximum of 5 pages long, and prepared (in PDF format) using the EasyChair class style. Submissions will happen through EasyChair.
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 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.
RuleML+RR 2026 aims to bring together researchers and practitioners interested in the foundations and applications of rules and reasoning. It provides a forum for stimulating cooperation between different communities focused on the research, development, and applications of rule-based systems.
This year's edition will be co-located with several events as part of Declarative AI 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.