posted by organizer: barcenas || 335 views || tracked by 1 users: [display]

LANMR 2024 : The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning

FacebookTwitterLinkedInGoogle

Link: http://www.lanmr.unam.mx/
 
When Sep 6, 2024 - Sep 7, 2024
Where Oaxaca, Mexico
Submission Deadline Jun 1, 2024
Notification Due Jun 21, 2024
Categories    logic   formal languages   automated reasoning   formal verification
 

Call For Papers

CALL FOR CONTRIBUTIONS

LANMR2024

The 16th Latin American Workshop on New Methods of Reasoning
Logic, Languages, Algorithms, New Methods of Reasoning
Oaxaca, México, September 6th. and 7th 2024
A satellite workshop of the 7th World Congress of Paraconsistency
http://www.lanmr.unam.mx


LANMR 2024 is the sixteenth 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: June 1st. 2024
- Notification of acceptance: June 21st. 2023
- Workshop: September 6th. and 7th. 2024



Submission Guidelines: extended abstracts written in English limited to 3 pages including footnotes and appendices (but not references). Abstracts are to be prepared for anonymous review and should be submitted, using the Easychair Latex Class, via EasyChair by june 1st. 2024 at https://easychair.org/conferences/?conf=lanmr2024


The language of the workshop is English, authors of accepted contributions will be required to give a 25 minutes in-person presentation.



Publication

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.

Venue

LANMR 2024 will be an in-person only event co-located with the 7th World Congress of Paraconsistency. The venue will be the Universidad Autónoma Benito Juárez de Oaxaca (UABJO), in Oaxaca, México.


Program Committee

Pablo Barenbaum, Universidad de Buenos Aires, Argentina.
Veronica Borja Macías, Universidad Tecnológica de la Mixteca, México.
Raul Fervari, Universidad de Córdoba, Argentina.
David Fuenmayor, Universität Bamberg, Alemania.
Ana Claudia Golzio, Universidade Estadual de Campinas, Brasil
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.
Sandra M. López Velasco, Universidad de Valladolid, España.
Carlos Olarte, LIPN Université Sorbonne Paris Nord, Francia.
Alejandro Solares-Rojas, Universidad de Buenos Aires, Argentina.
Paula Teijeiro, Universidad de Buenos Aires, Argentina.
Joaquín Toranzo Calderón, Universidad Tecnológica Nacional, Buenos Aires, Argentina
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, Departamento de Actuaría, Física y Matemáticas, Universidad de las Américas Puebla and Universidad Digital del Estado de México, México.

Related Resources

LAJC 2024   Latin-American Journal of Computing
CONCUR 2024   International Conference on Concurrency Theory
TIME 2024   The 31st International Symposium on Temporal Representation and Reasoning
AREA 2024   4th Workshop on Agents and Robots for reliable Engineered Autonomy
LPNMR 2024   17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
LearnAut 2024   Learning and Automata
LATINCOM 2024   16th IEEE Latin-American Conference on Communications
LADC 2024   Latin-American Symposium on Dependable and Secure Computing
LPAR 2024   International Conference on Logic for Programming, Artificial Intelligence and Reasoning
IEEE LA-CCI 2024   IEEE Latin America Conference on Computational Intelligence