Logic List Mailing Archive

CfP: LPAR-25: Logic for Programming, Artificial Intelligence and Reasoning, 26-31 May 2024, Mauritius

he 25th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
LPAR-25

Mauritius, 26-31st May 2024
https://lpar-25.info

CALL FOR SHORT PRESENTATION PAPERS

In keeping with the tradition of LPAR, researchers and practitioners are invited 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. Authors of accepted papers are required to ensure that at least one of them will be present at the conference. Papers that do not adhere to this policy will not be published.

The short presentation papers will be published electronically as a volume in the Kalpa series, see http://www.easychair.org/publications/Kalpa. The LaTeX and Microsoft Word templates for the Kalpa series can be downloaded from http://www.easychair.org/publications/for_authors. Papers may be up to 15 pages long, and must be submitted through the EasyChair system using the web page https://easychair.org/conferences/?conf=lpar2024.

Paper submission deadline: 15th April 2024 Notification of acceptance: 17st April 2024 Final version: 22th April 2024

... however, in order to facilitate authors making travel arrangements, papers submitted before the deadline will be reviewed immediately, and a decision made in approximately 2-3 days. Submit early, submit boldly, and submit often!

******************************************************************************
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php