17th Latin American Workshop on New Methods of Reasoning

LANMR 2026

Logic, Languages, Algorithms, New Methods of Reasoning

October 6th, 7th & 8th, 2026. Ciudad Universitaria (CU, UNAM), CDMX, Mexico

Presentation

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 IA103026, and DGAPA-PAPIME PEI110226).

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 extended abstracts. In particular you can present work in progress or work that is recently published elsewhere.

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

  1. 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.
  2. Methods: natural deduction and sequent calculi, tableaux, answer set programming, model checking, equational reasoning, automated and interactive theorem proving, SAT and SMT solving, etc.
  3. 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.

Venue

LANMR 2026 will be a hybrid event. The venue will be at the Universidad Nacional Autónoma de México, Campus Ciudad Universitaria (CDMX, Mexico).

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.