[Caml-list] LPAR-26: Call for Short Presentation Papers

[Caml-list] LPAR-26: Call for Short Presentation Papers

[geoff]

******************************************************************************
The 26th International Conference on Logic for Programming Artificial
Intelligence and Reasoning (LPAR-26) will be held on Spetses Island,
Greece, 25-30 October 2026. See www.LPAR-26.info

CALL FOR SHORT PRESENTATION PAPERS

The International Conference on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR) is an academic conference aimed at
discussing cutting-edge results in the fields of automated reasoning,
computational logic, programming languages and their applications.
LPAR's slogan is "To boldly go where no reasonable conference has gone
before". LPAR brings first class research and researchers to interesting
places, and exposes the conference attendees to interesting cultures.

True to LPAR form, there is a separate track for short presentation
papers. You can submit short presentation papers at any time up to the
deadline and accept/reject decisions are made by PC chairs with a short
turnaround. Short presentation papers are published in Kalpa
Publications, 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. There is no strict 
page limit on short presentation papers, but apply reasonable judgement. 

Short paper presentations themselves will be short. Authors of accepted 
short 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.

Submit at: https://easychair.org/conferences/?conf=lpar2026
Paper submission deadline: 17th August 2026
Notification of acceptance: 3rd September 2026
Final version: 17th September 2026
******************************************************************************