Logic List Mailing Archive

CfP: LANMR2024: The 16th Latin American Workshop on New Methods of Reasoning Logic/ Languages/ Algorithms/ New Methods of Reasoning, 6 - 7 September, Oaxaca (Mexico)

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

Colocated with the 7th World Congress of Paraconsistency

http://www.lanmr.unam.mx<http://www.lanmr.unam.mx/>


LANMR 2024 is the sixteenth edition of the Latin American Workshop series o
n Logic/Languages, Algorithms and New Methods of Reasoning organized by Uni
versidad Nacional Aut�noma de M�xico through Facultad de Ciencias (DGAP
A-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 in
volving logic. We call for extended abstracts. In particular you can presen
t 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, tempo
ral, paraconsistent, description, substructural, connexive, quantum, algebr
aic, multi-valued, higher-order, lambda calculi and type theory, etc.


Methods: natural deduction and sequent calculi, tableaux, answer set progra
mming, model checking, equational reasoning, automated and interactive theo
rem proving, SAT and SMT solving, etc..


Applications: mechanized proofs, formalized mathematics, declarative and de
pendent-type programming, program synthesis and analysis, formal methods, t
ype systems, formal semantics of languages and systems, process calculi, ph
ilosophical 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 ar
e to be prepared for anonymous review and should be submitted, using the Ea
sychair 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-pr
oceedings 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 Co
ngress of Paraconsistency<https://sites.google.com/view/wcp7/home>. The ven
ue 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�x
ico.

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 Ai
res, Argentina

Fernando Vel�zquez Quesada, Universitetet i Bergen, Noruega.

Diego A. Vel�zquez Cervantes, Universidad Nacional Aut�noma de M�xico
, M�xico


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 d
e M�xico, M�xico.


--
Everardo B�rcenas (UNAM)

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php