About |
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 23rd LPAR will be held will be held in Alicante, Spain, 22-27 May 2020. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright. |
Call for Papers |
List of TopicsNew results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to:
Submission GuidelinesAll papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
The length of regular papers is limited to 15 pages in the EasyChair style (excluding the blibliography and appendices). The length of experimental and tool papers is limited to 8 pages in the EasyChair style (excluding the bibliography and appendices). Both types of papers must be electronically submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=lpar23 Authors of accepted papers are required to ensure that at least one of them will be present at the conference. |
Summary |
LPAR 2020 : 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning will take place in Alicante, Spain. It’s a 6 days event starting on May 22, 2020 (Friday) and will be winded up on May 27, 2020 (Wednesday). LPAR 2020 falls under the following areas: ARTIFICIAL INTELLIGENCE, LOGIC PROGRAMMING, COMPUTATIONAL COMPLEXITY, SYSTEMS ENGINEERING, etc. Submissions for this Conference can be made by Feb 15, 2020. Authors can expect the result of submission by Apr 08, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Apr 24, 2020 to the official website of the Conference. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the LPAR 2020
|
Credits and Sources |
[1] LPAR 2020 : 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning |