Please note that this newsitem has been archived, and may contain outdated information or links.
6 - 7 September 2024, The 16th Latin American Workshop on New Methods of Reasoning, Oaxaca, Mexico
LANMR 2024 is the sixteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. 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.
LANMR 2024 will be an in-person event. The venue will be at the Universidad Benito Juárez de Oaxaca (Oaxaca, Mexico), it will happen as a satellite of the 7th World Congress of Paraconsistency.
We call for extended abstracts. In particular you can present work in progress or work that is recently published elsewhere. 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. The language of the workshop is English, authors of accepted contributions will be required to give a 20 minute in-person presentation, plus 10 minutes for questions and discussion.
Please note that this newsitem has been archived, and may contain outdated information or links.