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.
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.
This event provides young shcolars with an opportunity to present their research in the field of applied linguistics (language use, language acquisition, language education, language proficiency, or communication). Both lectures and poster presentations are welcome. Lectures shall last 15 minutes. Additionally, the annual Anéla-VIOT Thesis Award for the best MA-thesis in the field will be awarded on this day.
The evaluation of the abstracts will be based on the clarity of the explanation of their relevance, main research question, methodological design, and conclusion of the research. A lack of results or conclusions in the abstract don't pose an issue, as long as there will be some results to present during the event.
The abstract needs to meet the following requirements: a maximum of 250 words (excl. references); in Dutch or in English (write it in the language in which you will present); all personal information removed from the abstract (name, university); indicates the preference for a lecture or poster presentation. Submit your abstracts via this link.
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.
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.
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.
The conference will focus on construal in linguistics, encompassing, though not limited to, cognitive linguistics, forensics, discourse studies, pragmatics, social interaction, narrative, storytelling, and literature. By bringing all these approaches together, the conference aims to establish construal as a unifying concept for understanding meaning in language and discourse.
The conference adopts a flexible view of the relationship between construal and linguistic expression/coding. Construal refers broadly to how events, participants, relations, inferences, evaluations, and temporal structures are conceptualised, framed, and made salient, while verbal and non-verbal resources—lexical, grammatical, prosodic, gestural, visual, and multimodal—are among the means through which such construals are communicated and negotiated in discourse.
CiLD invited papers on these topics (and their sub-topics): Cognitive Linguistics; Discourse, Pragmatics & Narrative; Sociology & Social Interaction; and Narrative, Storytelling & Literature. The abstracts for individual papers (20-minute presentation + 10-minute discussion) should be max. 200 words long, in English and accompanied by a short biographical note (max. 100 words) and 3–5 keywords.
See the official website for more information and the submission form.