CALL FOR PAPERS\, EXTENDED DEADLINE 19th June 2026.
\n17th Latin American Workshop on Logic and New Methods of Reasoning LANMR 2026
\nOctober 6th\, 7th &\; 8th\, 2026.
\nCiudad Universitaria UNAM\, CDMX\, Mé\;xico and Online
\nhttps://www.lanmr.unam.mx/
\nLANMR 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).
\nSCOPE
\nLogic 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.
\nTOPICS OF INTEREST
\nLANMR 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:
\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\, term rewriting and 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\, proof-theoretic semantics\, philosophical logic\, philosophy of computing\, AI-related applications\, etc.
\nImportant Dates
\nPaper submission: EXTENDED DEADLINE June 19th\, 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
\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.
\nPublication
\nA book of abstracts will be distributed previous to the meeting. A post-proceedings volume with full accepted papers will be organized for publication in a new series by College Publications (https://www.collegepublications.co.uk/LLA/)
\nVenue
\nLANMR 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.
\nProgram Committee
\nPaoli Baldi\, University of Salento\, Italy.
\nVeró\;nica Borja Mací\;as\, Universidad Tecnoló\;gica de la Mixteca\, Mé\;xico.
\nRaú\;l Fervari\, Universidad de Có\;rdoba\, Argentina.
\nDavid Fuenmayor\, University of Bamberg\, Germany.
\nAna Claudia Golzio\, Universidade Estadual de Campinas\, Brasil.
\nAlejandro Herná\;ndez Tello\, Universidad Tecnoló\;gica de la Mixteca\, Mé\;xico.
\nMalena Ivnisky\, Universidad de Buenos Aires y CONICET\, Argentina.
\nJosé\; de Jesú\;s Lavalle\, Benemé\;rita Universidad Autó\;noma de Puebla\, Mé\;xico.
\nSelene Linares Aré\;valo\, University of Melbourne\, Australia.
\nNancy Abigail Nú\;ñ\;ez Herná\;ndez\, FES Acatlá\;n UNAM\, Mé\;xico.
\nCarlos Olarte\, LIPN Université\; Sorbonne Paris Nord\, France.
\nUmberto Rivieccio\, UNED Madrid\, Spain.
\nJuan Slagter\, Universidad Nacional del Sur\, Argentina.
\nAlejandro Solares-Rojas\, Universidad de Buenos Aires\, Argentina.
\nFernando Velá\;zquez Quesada\, Universitetet i Bergen\, Norway.
\nOrganizing Committee
\nEverardo Bá\;rcenas\, Facultad de Ingenierí\;a\, UNAM\, Mé\;xico
\nLourdes Gonzá\;lez Huesca\, Facultad de Ciencias\, UNAM\, Mé\;xico
\nFavio E. Miranda Perea\, Facultad de Ciencias\, UNAM\, Mé\;xico
\nMiguel Pé\;rez Gaspar\, Facultad de Ingenierí\;a\, UNAM\, Mé\;xico
ORGANIZER;CN=Favio E. Miranda-Perea: METHOD:PUBLISH END:VEVENT BEGIN:VEVENT DTSTAMP:20260603T065452Z DTSTART;TZID=America/Mexico_City:20261006T100000 DTEND;TZID=America/Mexico_City:20261007T170000 SUMMARY:17th Latin American Workshop on New Methods of Reasoning LANMR 2026 UID:20260608T195219Z-iCalPlugin-Grails@philevents-web-6b96c54f56-bljdq TZID:America/Mexico_City LOCATION:Ciudad Universitaria\, Coyoacán\, Mexico City\, Mexico DESCRIPTION:CALL FOR PAPERS\, EXTENDED DEADLINE 19th June 2026.
\n17th Latin American Workshop on Logic and New Methods of Reasoning LANMR 2026
\nOctober 6th\, 7th &\; 8th\, 2026.
\nCiudad Universitaria UNAM\, CDMX\, Mé\;xico and Online
\nhttps://www.lanmr.unam.mx/
\nLANMR 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).
\nSCOPE
\nLogic 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.
\nTOPICS OF INTEREST
\nLANMR 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:
\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\, term rewriting and 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\, proof-theoretic semantics\, philosophical logic\, philosophy of computing\, AI-related applications\, etc.
\nImportant Dates
\nPaper submission: EXTENDED DEADLINE June 19th\, 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
\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.
\nPublication
\nA book of abstracts will be distributed previous to the meeting. A post-proceedings volume with full accepted papers will be organized for publication in a new series by College Publications (https://www.collegepublications.co.uk/LLA/)
\nVenue
\nLANMR 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.
\nProgram Committee
\nPaoli Baldi\, University of Salento\, Italy.
\nVeró\;nica Borja Mací\;as\, Universidad Tecnoló\;gica de la Mixteca\, Mé\;xico.
\nRaú\;l Fervari\, Universidad de Có\;rdoba\, Argentina.
\nDavid Fuenmayor\, University of Bamberg\, Germany.
\nAna Claudia Golzio\, Universidade Estadual de Campinas\, Brasil.
\nAlejandro Herná\;ndez Tello\, Universidad Tecnoló\;gica de la Mixteca\, Mé\;xico.
\nMalena Ivnisky\, Universidad de Buenos Aires y CONICET\, Argentina.
\nJosé\; de Jesú\;s Lavalle\, Benemé\;rita Universidad Autó\;noma de Puebla\, Mé\;xico.
\nSelene Linares Aré\;valo\, University of Melbourne\, Australia.
\nNancy Abigail Nú\;ñ\;ez Herná\;ndez\, FES Acatlá\;n UNAM\, Mé\;xico.
\nCarlos Olarte\, LIPN Université\; Sorbonne Paris Nord\, France.
\nUmberto Rivieccio\, UNED Madrid\, Spain.
\nJuan Slagter\, Universidad Nacional del Sur\, Argentina.
\nAlejandro Solares-Rojas\, Universidad de Buenos Aires\, Argentina.
\nFernando Velá\;zquez Quesada\, Universitetet i Bergen\, Norway.
\nOrganizing Committee
\nEverardo Bá\;rcenas\, Facultad de Ingenierí\;a\, UNAM\, Mé\;xico
\nLourdes Gonzá\;lez Huesca\, Facultad de Ciencias\, UNAM\, Mé\;xico
\nFavio E. Miranda Perea\, Facultad de Ciencias\, UNAM\, Mé\;xico
\nMiguel Pé\;rez Gaspar\, Facultad de Ingenierí\;a\, UNAM\, Mé\;xico
ORGANIZER;CN=Favio E. Miranda-Perea: METHOD:PUBLISH END:VEVENT END:VCALENDAR