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.
NMR has a long history – it started in 1984 and, up until 2020, was held every two years. Recent previous NMR workshops were held in Melbourne (2025), Vietnam (2024), Greece (2023), Haifa (2022), Hanoi (virtually) (2021), Rhodes (virtually) (2020), Tempe (2018), Cape Town (2016), Vienna (2014), Rome (2012), Toronto (2010), and Sydney (2008).
NMR 2026 is co-located with the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026) at the Federated Logic Conference (FLoC 2026).
Aims and Scope
NMR 2026 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. We especially invite 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.
Invited Speakers
Important Dates
| Paper registration | April 3, 2026 |
| Paper submission | April 10, 2026 |
| Notification | May 18, 2026 |
| Camera-ready | June 17, 2026 |
| Workshop | July 17–19, 2026 |
Submission Details
We invite two types of submissions:
- Full papers. Full papers should be at most 14 pages including references, figures and appendices. Papers already published or accepted for publication at other conferences are also welcome, provided that the original publication is mentioned in a footnote on the first page and the submission at NMR falls within the authors’ rights. In the same vein, papers under review for other conferences can be submitted with a similar indication on their front page.
- Extended Abstracts. Extended abstracts should be at most 3 pages (excluding references and acknowledgements). They should introduce work that has recently been published or is under review, or ongoing research at an advanced stage. We highly encourage to attach to the submission a preprint/postprint or a technical report. Such extra material will be read at the discretion of the reviewers. Submitting already published material may require a permission by the copyright holder.
All submissions should be formatted in CEUR style (1-column). Author kit: CEURART.zip. Papers must be submitted in PDF only.
Please submit your contribution through the NMR 2026 Submission Portal.
Organization
General Co-Chairs
| Ana Ozaki | University of Oslo and University of Bergen, Norway |
| Nico Potyka | Cardiff University, UK |
Publicity Chair
| Jacek Wegrzynowski | University of Oslo, Norway |
Programme Committee
| Ofer Arieli | The Academic College of Tel-Aviv |
| Ringo Baumann | Leipzig University |
| Lydia Blümel | Universität Leipzig |
| Alexander Bochman | Computer Science Dept., Holon Institute of Technology |
| Richard Booth | Cardiff University |
| Giovanni Buraglio | TU Wien |
| Giovanni Casini | ISTI – CNR |
| Jens Classen | Roskilde University |
| Eduardo Fermé | Universidade da Madeira, Portugal |
| Laura Giordano | DISIT, Università del Piemonte Orientale |
| Jonas Philipp Haldimann | TU Wien |
| Andreas Herzig | CNRS, IRIT, Univ. Toulouse |
| Haythem Ismail | Cairo University and German University in Cairo |
| Antonis Kakas | University of Cyprus |
| Gabriele Kern-Isberner | Technische Universität Dortmund |
| Sébastien Konieczny | CRIL – CNRS |
| Isabelle Kuhlmann | FernUniversität in Hagen |
| Tuomo Lehtonen | Aalto University |
| Fenrong Liu | Tsinghua University |
| Yasir Mahmood | University of Paderborn |
| Thomas Meyer | University of Cape Town and CAIR |
| Xavier Parent | TU Wien |
| Ramon Pino Perez | Université d’Artois |
| Sylwia Polberg-Riener | Cardiff University |
| Antonio Rago | Imperial College London |
| Anna Rapberger | Imperial College London |
| Jandson Ribeiro | Cardiff University |
| Sebastian Rudolph | TU Dresden |
| Zeynep G. Saribatur | TU Wien |
| Ken Satoh | Center for Juris-Informatics, ROIS, Japan |
| Kai Sauerwald | University of Hagen |
| Gerardo Simari | Universidad Nacional del Sur (UNS) and CONICET |
| Van-Giang Trinh | Inria Saclay |
| Anni Yasmin Turhan | Paderborn University |
| Serena Villata | CNRS – Laboratoire d’Informatique, Signaux et Systèmes de Sophia-Antipolis |
| Renata Wassermann | University of Sao Paulo |
| Emil Weydert | CSC, University of Luxembourg |
| Stefan Woltran | TU Wien |
| Fan Yang | Utrecht University |
Workshop Proceedings
The accepted papers will be made available electronically in the CEUR Workshop Proceedings series as informal proceedings (http://ceur-ws.org/). The copyright of papers remain with the authors. Full papers will be indexed by dblp.org; but extended abstracts published on CEUR proceedings will not be indexed by dblp.org anymore.
Sponsored by
TBACall for Papers
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. More information about the series: http://www.econ.ucdavis.edu/faculty/bonanno/loft.html
KEYNOTES
Michal Feldman (Tel Aviv)
Remco Heesen (LSE)
Maria Polukarov (King’s)
Debraj Ray (NYU)
SUBMISSION INFORMATION
Potential contributors should submit an extended abstract of approximately 5 to at most 10 pages (excluding references and appendices) in PDF format. Submissions exceeding 10 pages will not be considered.
Submissions should be prepared for double blind review and submitted through the website by February 15th, 2026 (AoE).
Papers that have appeared in print, or are likely to appear in print before the conference, should not be submitted for presentation at LOFT.
Please be informed that we are planning to notify about the acceptance or rejection of the papers at the beginning of April.
For a list of publications based on previous LOFT conferences see
Please submit through the following link: https://openreview.net/group?id=LOFT/2026/Conference
IMPORTANT DATES
Deadline for submission: 15 February, 2026 (AoE)
Notification to authors: Early April, 2026
Conference: 24-26 June 2026
LOFT Steering Committee Chairs:
Andrés Perea (Maastricht University)
Olivier Roy (University of Bayreuth)
Sonja Smets (University of Amsterdam)
Local Organizer:
Mehmet Mars Seven (King’s College London)
Program Committee
Christian W. Bach (University of Reading)
Gaia Belardinelli (University of Copenhagen)
Francesca Zaffora Blando (Carnegie Mellon University)
Juan Block (University of Cambridge)
Emiliano Catonini (NYU Shanghai)
Hein Duijf (Vrije Universiteit Amsterdam)
Satoshi Fukuda (Bocconi University)
Spyros Galanis (City University of London)
Valentin Goranko (Stockholm University)
Andreas Herzig (Institut de Recherche en Informatique de Toulouse)
Wesley Holliday (University of California, Berkeley)
Louwe Kuijer (University of Liverpool)
Fenrong Liu (Tsinghua University)
Emiliano Lorini (Institut de Recherche en Informatique de Toulouse)
Aybüke Özgün (University of Amsterdam)
Eric Pacuit (University of Maryland)
Paul Pedersen (City College of New York)
Frederik Van De Putte (Erasmus University of Rotterdam)
Burkhard Schipper (University of California, Davis)
Chenwei Shi (Tsinghua University)
Ronald Stauber (Australian National University)
Allard Tamminga (University of Groningen)
Elias Tsakas (Maastricht University)
Marie-Louise Vierø (Aarhus University)
Sujata Ghosh (Indian Statistical Institute)
Deadline for submitting abstracts: November 15, November 25, 2025
Notification of acceptance: December 15, December 23 2025
Call for Papers
Modality in Logic and Language
5th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning
April 3–5, 2024, Tsinghua University, Beijing
The website for this year’s conference is available at: TLLM 2026
For previous years’ websites, please visit: TLLM
The study of modality in logic is as old as logic itself. Modern propositional and predicate logic replaced notions like ‘necessary’ and ‘possible’, traditionally used to define what it means for a proposition to follow from other propositions, by quantification over ways to interpret the non-logical symbols of the language. But the study of reasoning with the modalities themselves has continued in logic, with the modern tools now available. Early syntactic studies of systems for ‘strict implication’ gave way to possible worlds style semantics in the hands of pioneers like Carnap, Kanger, Hintikka, Kripke, and others, which now provides a standard framework for the logical study of modality. This framework has been applied to systems of logic where oA is meant to capture readings, besides ‘A is necessary’, like ‘A will always be the case, A holds after a certain program execution step, A is provable, obligatory, justified, probable, believed/known by an agent’, etc. Today, the vast area of philosophical logic studies all kinds of ‘intensional’ notions, using formal languages and well-established mathematical tools. In philosophy too, the discussion about the nature of possible worlds and their use for various modalities, initiated by Lewis, Stalnaker, Kripke, Fine, Williamson, and others, is still a very active area of research.
In parallel, and sometimes in cooperation, linguists have studied the syntactic and semantic behavior of modals in natural languages. Modals, together with tense, enable us to displace from the actual here and now, embodying one of Hockett’s design features of natural language: displacement. Natural language also abounds in modal expressions and constructions. In English for instance, we encounter at least auxiliaries, verbs, adverbs, nouns, adjectives, and conditionals that convey modal meanings. On the other hand, languages vary significantly in how they express and categorize modal meanings (as explored in the works of Rullmann, Matthewson, Deal and many others). The rich empirical landscape provides linguists – building on Kratzer’s pioneer work – with opportunities to study the range of modal concepts expressible in natural language, how they are expressed, the theoretical frameworks and logical tools required to analyze them, the processes by which they are acquired, and so on.
The TLLM workshops aim to bring together logicians, philosophers, and linguists around a specific theme of common interest. For the 2026 event, the theme is unusually wide, and we welcome contributions on any general or particular aspect of the modalities in logic or language. Below are just a few examples of possible topics for this workshop.
- Foundations and semantics of modality: E.g. Kripke/neighborhood/possibility/topological/ game-theoretic/inquisitive/team semantics.
- Proof theory for modal logic: E.g. sequent/natural deduction/labelled/circular/display/ deep inference systems.
- Epistemic and doxastic logics.
- Deontic logic, norms and preference.
- Modality in natural language: E.g. epistemic/deontic/dynamic modals; weak necessity and gradability; syntax of modals; semantic-pragmatic interface; cross-linguistic typology; experimental and corpus studies.
- Non.classical perspectives on modality: E.g. intuitionistic/linear/relevant/paraconsistent/ modal bilattice frameworks; bilateralist accounts.
- Modality in computation, verification, and AI: E.g. KR with modalities; causal and probabilistic modal models; LLMs and modal reasoning (benchmarks, neurosymbolic methods, toolkits).
- Modality and other intensional categories: e.g. modality and tense; modality and evidentiality; modality and mood.
- The processing and acquisition of modal expressions in natural languages
Contributed Papers
We invite submissions of 2-page abstracts (including references) on any of the broad themes related to the modality in logic and language as suggested above. After a review procedure, authors of accepted abstracts will have the opportunity to present their papers at the workshop, either as a contributed talk or in the poster session. The poster session is intended to provide an informal setting for discussion and to encourage participation from early-career researchers and students. After the workshop, a volume of full papers (properly refereed) will be published in the Springer LNCS – FoLLI series. Details on submission of full papers will follow.
The workshop will take place on site at Tsinghua University, Beijing.
Sponsors
- The Joint Research Center for Logic, Tsinghua University
- Department of Philosophy, Tsinghua University
- Department of Foreign Languages and Literatures, Tsinghua University
Application deadline: January 20, 2026
An increasing amount of information, including misinformation, disinformation, and (deep)fake news, is increasingly disseminated through both traditional and new media. Our societies need to address and prevent such problems, which affect our belief systems, decision-making process, and public discourse, by developing information strategies and policies. And this largely relies on grasping logical models of belief, which reveals how belief systems and related concepts (such as preferences, desires, questions, and doubts) form and change, as well as how information exchange between individuals influences one’s belief inferences. Epistemic Logic offers a thorough analysis of the underlying assumptions, definitions, inference rules, and semantic characterizations of knowledge and belief by examining statements like “Agent A knows X” or “Agent A believes Y.” Recent development in Epistemic Logic is particularly useful for modelling belief changes in both single-agent and multi-agent systems, as well as in philosophical discussions. The Graduate Seminar “Belief Change and Information Exchange: Current Trends in Epistemic Logic” will delve into these models.
The primary focus of the Graduate Seminar will be introduced through both classical and contemporary, as well as syntactic and semantic, methodological approaches in epistemic logic, including propositional logic, modal logic, dynamic systems, inquisitive logic, theories of belief revision, possible world semantics, inquisitive semantics, and game-theoretical semantics. Additionally, it will help students understand: (i) how these approaches relate to topics in scientific disciplines, such as multi-agent systems in artificial intelligence (AI) and robotics, distributed systems in computer science, and models of belief revision in cognitive psychology; and (ii) how they can address contemporary social issues mentioned at the beginning, such as the spread of false information on social media and its influence on public belief systems, as well as how individuals or groups form and revise beliefs in political or social contexts.
Who is it for: Master students, PhD students, and junior researchers in Logic, Epistemology, Social Sciences, Cognitive Sciences, Psychological Sciences. Open to candidates from all the VIU Member Institutions; applications from excellent candidates from non-member institutions will be also considered and evaluated.
For further information visit our website or send an email to summerschools@univiu.org