Logic List Mailing Archive

LANMR 2023: Latin American Workshop on New Methods of Reasoning

16-17 Nov 2023
Mexico City, Mexico

15th Latin American Workshop on New Methods of Reasoning  LANMR 2023
Logic, Languages, Algorithms, New Methods of Reasoning
16th. and 17th. november 2023



LANMR 2023 is the fifteenth 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 IN101723) and Facultad de Ingeniería (DGAPA-PAPIIT IA104122).

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

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, 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,
philosophical logic, philosophy of computing, AI-related applications, etc.

Important Dates

- Abstract submission:  September 8th,  2023
- Notification of acceptance:  October 15th, 2023
- Camera Ready:  October 30th, 2023
- Workshop: November 16th and 17th, 2022

Abstract submission Guidelines:  extended abstracts written in English
limited to  3 pages including footnotes and appendices (but not references)
are required. Abstracts are to be prepared for anonymous review and should
be submitted, using the Easychair Latex Class, via EasyChair by  september
8th 2023 at https://easychair.org/conferences/?conf=lanmr2023

The language of the workshop is English, authors of accepted contributions
will be required to give a 30 minute presentation,  including questions and
discussion, either in-person or online,


A book of abstracts will be distributed previous to the meeting. Since work
in progress or that has been recently published elsewhere will be accepted,
there will not be proceedings in this workshop. However, depending on the
nature of contributions and on the interest of the participants, a
post-proceedings volume with full selected papers, which will be further
refereed,  might be organized for publication in an open access journal.


LANMR 2023 will be a hybrid event including in-person and online
participation. The physical venue will be
Ciudad Universitaria UNAM (Facultad de Ingeniería) in México City.

Program Committee

Veronica Borja Macías, Universidad Tecnológica de la Mixteca, México.
Alejandro Díaz-Caro, Universidad Nacional de Quilmes, CONICET, Universidad
de Buenos Aires, Argentina.
Raul Fervari, Universidad de Córdoba, Argentina.
Susana Hahn Martín-Lunas, Universität Postdam, Alemania.
Alejandro Hernández Tello, Universidad Tecnológica de la Mixteca, México.
José de Jesús Lavalle, Benemérita Universidad Autónoma de Puebla, México.
Itala Maria Loffredo D'Ottaviano, UNICAMP, Brasil
Sandra M. López Velasco, Universidad de Valladolid, España.
Kenji Maillard, Inria Rennes, Fracia.
Carlos Olarte, LIPN Université Sorbonne Paris Nord, Francia.
Vincent Peluce, City University of New York, Estados Unidos de América.
Alejandro Solares, Università degli Studi di Milano, Italia.
Joaquín Toranzo Calderón, Universidad Tecnológica Nacional, Buenos Aires,
Fernando Velázquez Quesada, Universitetet i Bergen, Noruega.

Organizing Committee

Everardo Bárcenas, Facultad de Ingeniería, Universidad Nacional
Autónoma de México, México

Lourdes González Huesca, Facultad de Ciencias, Universidad Nacional
Autónoma de México, México

Diego Medina Martínez, Facultad de Ingeniería, Universidad Nacional
Autónoma de México, México

Favio E. Miranda Perea, Facultad de Ciencias, Universidad Nacional
Autónoma de México, México

Miguel Pérez Gaspar, Facultad de Ingeniería, Universidad Nacional
Autónoma de México, México
[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by the Division for Logic, Methodology and Philosophy of Science and Technology (DLMPST) in cooperation with the ILLC at the Universiteit van Amsterdam