17th Latin American Workshop on Logic and New Methods of Reasoning LANMR 2026

October 6th, 7th & 8th, 2026.

Ciudad Universitaria UNAM, CDMX, México and Online

https://www.lanmr.unam.mx/

LANMR 2026 is the seventeenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning, organized by Universidad Nacional Autónoma de México through Facultad de Ciencias (DGAPA-PAPIIT IN111126) and Facultad de Ingeniería (DGAPA-PAPIIT IN116726 and DGAPA-PAPIIT IA103026).



SCOPE

Logic is a robust discipline that nowadays influences several fields going from the study of philosophical problems to the development of algorithms and systems for Artificial Intelligence and formal verification. The LANMR workshop series aims to stimulate and promote international research and collaboration on logic and its applications from philosophy to computer science. Our goal is to bring together people from different fields related to logic, such as proof theory, philosophy of logic, model theory and semantics, computability theory, programming language foundations, formal verification, or artificial intelligence, around methods of reasoning and applications involving logic.



TOPICS OF INTEREST

LANMR 2026 solicits original research articles, not published elsewhere. Topics of interest encompass all areas of logic and its applications broadly understood, including, but 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, term rewriting and 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, proof-theoretic semantics, 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.



Publication

A book of abstracts will be distributed previous to the meeting. A post-proceedings volume with full accepted papers will be organized for publication in an open-access journal to be confirmed.



Venue

LANMR 2026 will be held as a hybrid workshop. The physical component will take place in Ciudad Universitaria (CU), which houses the Central Campus listed as a World Heritage UNESCO site in 2007.



Program Committee

Verónica Borja Macías, Universidad Tecnológica de la Mixteca, México.

Raúl Fervari, Universidad de Córdoba, Argentina.

Ana Claudia Golzio, Universidade Estadual de Campinas, Brasil.

Alejandro Hernández Tello, Universidad Tecnológica de la Mixteca, México.

Malena Ivnisky, Universidad de Buenos Aires y CONICET, Argentina.

José de Jesús Lavalle, Benemérita Universidad Autónoma de Puebla, México.

Selene Linares Arévalo, University of Melbourne, Australia.

Nancy Abigail Núñez Hernández, FES Acatlán UNAM, México.

Carlos Olarte, LIPN Université Sorbonne Paris Nord, Francia.

Umberto Rivieccio, UNED Madrid, España.

Juan Slagter, Universidad Nacional del Sur, Argentina.

Alejandro Solares-Rojas, Universidad de Buenos Aires, Argentina.

Fernando Velázquez Quesada, Universitetet i Bergen, Noruega.

Paolo Baldi, University of Salento, Italy



Organizing Committee

Everardo Bárcenas, Facultad de Ingeniería, UNAM, México

Lourdes González Huesca, Facultad de Ciencias, UNAM, México

Favio E. Miranda Perea, Facultad de Ciencias, UNAM, México

Miguel Pérez Gaspar, Facultad de Ingeniería, UNAM, México