[SMT-LIB] DL 2017 - Last Call for Papers

[Geoff Sutcliffe]

-------------------------------------------------------------------------------
                            LAST CALL FOR PAPERS
          30th International Workshop on Description Logics, DL 2017
              July 18th to July 21st, 2017 - Montpellier, France
                          http://dl.kr.org/dl2017/
-------------------------------------------------------------------------------

Important Dates *** NO EXTENSIONS POSSIBLE ***
============
Paper registration deadline:
   April 28, 2017
Paper submission deadline:
   May 8, 2017
Notification of acceptance:
   June 12,  2017
Camera-ready copies:  
   July 3, 2017
Workshop: 
   July 18-21, 2017

*** NO DEADLINE EXTENSIONS POSSIBLE ***
 Due to the IJCAI notification and the approaching of the DL workshop 
 extensions will not be granted.

Submissions
==========
* Submissions may be of two types:
(1) Papers accepted at some conference can be submitted as accepted elsewhere 
    together with a 1-page abstract that also specifies where the paper has 
    been accepted. 
(2) Other submissions consist of 11 pages LNCS plus references. There is no 
    page limit on the list of references. If the paper should not appear in 
    the proceedings, an additional 1-page abstract has to be submitted.

* For submissions with an additional 1-page abstract, only the abstract is 
  published in the proceedings. The abstracts might not be indexed in dblp. 
  This option is designed for authors who wish to announce results that have 
  been published elsewhere, or which the authors intend to submit or have 
  already submitted to a venue with an incompatible prior / concurrent 
  publication policy. 
* All submissions may optionally include a clearly marked appendix (e.g., with 
  additional proofs or evaluation data). The appendix will be read at the 
  discretion of the reviewers and not included in the proceedings. The 
  appendix does not need to be in LNCS format. 
* Submission page: https://easychair.org/conferences/?conf=dl2017
* Accepted papers and 1-page abstracts will be made available electronically 
  in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/).
* Accepted submissions, be they full papers or 1-page abstracts, will be 
  selected for either oral or poster presentation at the workshop. Submissions 
  will be judged solely based upon their content, and the type of submission 
  will have no bearing on the decision between oral and poster presentation.

Further Details
============
http://dl.kr.org/dl2017/