BEGIN:VCALENDAR PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN VERSION:2.0 CALSCALE:GREGORIAN METHOD:PUBLISH BEGIN:VEVENT DTSTAMP:20260924T094040Z DTSTART;TZID=America/Mexico_City:20231116T090000 DTEND;TZID=America/Mexico_City:20231117T170000 SUMMARY:LANMR2023: 15th Latin American Workshop on New Methods of Reasoning : Logic\, Languages\, Algorithms\, New Methods of Reasoning UID:20260924T101228Z-iCalPlugin-Grails@fe80:0:0:0:ac83:5bff:fea0:108%3 TZID:America/Mexico_City LOCATION:Ciudad Universitaria\, Mexico City\, Mexico\, 04510 DESCRIPTION:

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\,  \;



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 \;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\, 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\, Facultad de Ingenierí\;a\, Universidad Nacional
Autó\;noma de Mé\;xico\, Mé\;xico  \;  \;  \;  \;

ORGANIZER: METHOD:PUBLISH END:VEVENT END:VCALENDAR