[FOM] Fwd: LPAR-22 in Ethiopia - Call for Short Papers

Martin Davis martin at eipye.com
Fri Sep 21 01:03:59 EDT 2018

---------- Forwarded message ----------
From: <geoff at cs.miami.edu>
Date: Tue, Sep 18, 2018 at 12:06 PM
Subject: LPAR-22 in Ethiopia - Call for Short Papers
To: martin at eipye.com


                    The 22nd International Conference on
        Logic for Programming, Artificial Intelligence and Reasoning


                       Haile Resort, Awassa, Ethiopia


In keeping with the tradition of LPAR, researchers and practitioners are
invited to submit short presentation papers (the papers can be full length,
presentation slots will be short), reporting on interesting work in
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
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
the Kalpa series, see http://www.easychair.org/publications/Kalpa. The
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
page https://easychair.org/conferences/?conf=lpar22

Paper submission deadline:   3rd October 2018
Notification of acceptance: 10th October 2018
Final version:              17th October 2018

... however, in order to facilitate authors making travel arrangements,
submitted before the deadline will be reviewed immediately, and a decision
made in approximately one week. Submit early, and submit often!

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20180920/4ce6930e/attachment.html>

More information about the FOM mailing list