7-12 May 2017
Maun, Botswana
******************************************************************************
The 21st International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
LPAR-21
Cresta Riley's Hotel, Maun, Botswana
http://www.LPAR-21.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://www.easychair.org/conferences/?conf=lpar21.
Paper submission deadline: 18th March 2017
Notification of acceptance: 1st April 2017
Final version: 8th April 2017
... however, in order to facilitate authors making travel arrangements, papers
submitted before the deadline will be reviewed immediately, and a decision
made in approximately one week. Submit early, and submit often!
******************************************************************************
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam