VSL 2014: VIENNA SUMMER OF LOGIC 2014
ORE Call for Papers

We invite submission of papers describing:

  • System descriptions describing the architecture, implementation, and expected performance of the reasoner.
  • Reasoner implementation details, usage reports, implementation "tips and tricks".
  • Challenging ontologies and/or benchmark proposals for OWL reasoners.

Papers should be formatted according to the Springer LNCS guidelines (http://www.springer.de/comp/lncs/authors.html) and should not be longer than 6 pages (excluding references).

Submissions must be in PDF through the EasyChair conference system: https://www.easychair.org/conferences/?conf=ore2014.

All submissions will be peer-reviewed by the program committee. Selected papers will be presented during the workshop and published as a volume of CEUR workshop proceedings (http://ceur-ws.org/).

Important Dates

Paper submission deadline: April 15, 2014 (EXTENDED)
Notification of acceptance: May 2, 2014
Camera-ready papers: May 16, 2014
System submission (for competition): May 16, 2014
Workshop: July 13, 2014
Live Competition: July 18, 2014 (TBC)
Olympic Games Award Ceremony: July  21, 2014