Dear All,
Lourdes del Carmen González (UNAM) me pediu encaminhar a CFP abaixo para esta
lista.
Abraços,
Umberto
>> 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/A5134B45-F6C6-4960-9389-1227C3EE4C34%40gmail.com.
