CFP: 17th Latin American Workshop on New Methods of Reasoning LANMR 2026

The aim of this workshop is to bring together people from different fields such as programming languages foundations, formal verification, philosophy or artificial intelligence, around methods of reasoning and applications involving logic. We call for full papers whose main results are not published or submitted elsewhere. 

Suggested topics include, but are not limited to the following:

Logics (classical and non-classical): constructive, modal, epistemic, temporal, paraconsistent, description, substructural, connexive, quantum, algebraic, multi-valued, higher-order, lambda calculi and type theory, etc.

Methods: natural deduction and sequent calculi, tableaux, answer set programming, model checking, equational reasoning, automated and interactive theorem proving, SAT and SMT solving, etc.

Applications: mechanized proofs, formalized mathematics, declarative and dependent-type programming, program synthesis and analysis, formal methods, type systems, formal semantics of languages and systems, process calculi, philosophical logic, philosophy of computing, AI-related applications, etc.

Important Dates:

Paper submission: June 5th, 2026

Notification of acceptance: August 5th, 2026

Workshop (Hybrid): October 6th, 7th & 8th, 2026

Submission Guidelines:  papers written in English, limited to 12 pages excluding footnotes, appendices, and references. Contributions are to be prepared for anonymous review, that is, authors' names and institutions must be omitted, and references to authors' own related work should be in the third person. Papers must use the Easychair Latex Class and be submitted via EasyChair at  https://easychair.org/conferences/?conf=lanmr2026 

The language of the workshop is English, at least one of the authors of accepted papers is expected to attend the workshop in order to present their contribution in a 25-minute presentation