Please note that this newsitem has been archived, and may contain outdated information or links.
16 - 17 November 2023, 15th Latin American Workshop on New Methods of Reasoning (LANMR 2023), Mexico City, Mexico
LANMR 2023 is the fifteenth 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 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.
We call for extended abstracts. In particular you can present work in progress or work that is recently published elsewhere. Abstracts should be written in English, limited to 3 pages including footnotes and appendices (but not references) and prepared for anonymous review. 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.
Please note that this newsitem has been archived, and may contain outdated information or links.