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. \;
\nSuggested topics include\, but are not limited to the following:
\nLogics (classical and non-classical): constructive\, modal\, epistemic\, temporal\, paraconsistent\, description\, substructural\, connexive\, quantum\, algebraic\, multi-valued\, higher-order\, lambda calculi and type theory\, etc.
\nMethods: natural deduction and sequent calculi\, tableaux\, answer set programming\, model checking\, equational reasoning\, automated and interactive theorem proving\, SAT and SMT solving\, etc.
\nApplications: 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.
\n\nImportant Dates:
\nPaper submission: June 5th\, 2026
\nNotification of acceptance: August 5th\, 2026
\nWorkshop (Hybrid): October 6th\, 7th &\; 8th\, 2026
\nSubmission 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 \;
\n\nThe 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
ORGANIZER;CN=Favio Ezequiel Miranda-Perea: METHOD:PUBLISH END:VEVENT END:VCALENDAR