LANMR 2026: 17th Latin American Workshop on New Methods of Reasoning Universidad Nacional Autónoma de México Mexico City, Mexico, October 6-8, 2026 |
| Conference website | https://www.lanmr.unam.mx/ |
| Submission link | https://easychair.org/conferences/?conf=lanmr2026 |
| Submission deadline | June 5, 2026 |
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
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.
TBC
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