From: geoff@tptp.org
To: <caml-list@inria.fr>
Subject: [Caml-list] LPAR-26: Call for Short Presentation Papers
Date: Wed, 5 Aug 2026 04:32:09 -0400 [thread overview]
Message-ID: <20260805083209.67CCBA01CF7@armistead.ccs.miami.edu> (raw)
******************************************************************************
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
******************************************************************************
reply other threads:[~2026-08-05 8:33 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20260805083209.67CCBA01CF7@armistead.ccs.miami.edu \
--to=geoff@tptp.org \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox