Prezadas e prezados colegas, Encaminho abaixo a divulgação do *LANMR 2026 (17th Latin American Workshop on Logic and New Methods of Reasoning)*.
Abraços, Juan Sebastián Slagter -------------------------------------- 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 Paoli Baldi, University of Salento, Italy. Verónica Borja Macías, Universidad Tecnológica de la Mixteca, México. Raúl Fervari, Universidad de Córdoba, Argentina. David Fuenmayor, University of Bamberg, Germany. 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, France. Umberto Rivieccio, UNED Madrid, Spain. Juan Slagter, Universidad Nacional del Sur, Argentina. Alejandro Solares-Rojas, Universidad de Buenos Aires, Argentina. Fernando Velázquez Quesada, Universitetet i Bergen, Norway. 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 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHHcS3cMYAupk9NOHLpNy6ohdi2p%3DaHxOPVQ%3DE3Jady0b7CS2A%40mail.gmail.com.
