26 - 31 May 2024, 25th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-25), Balaclava (Mauritius)

In keeping with the tradition of LPAR, researchers and practitioners are in vited to submit short presentation papers (the papers can be full length, the presentation slots will be short), reporting on interesting work in progress, system and tool descriptions, experimental results, etc. They need not be original, and extended or revised versions of the papers may be submitted concurrently with or after LPAR to another conference or a journal.