24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
Mons, Belgium, 16-18 October, 2017

Instructions for preparing the final camera-ready version

Authors must carefully follow the LIPIcs instructions for typesetting available here.

The camera ready version must not exceed 15 pages excluding references and appendix. The appendix is optional and must not exceed 5 pages.

It is mandatory that there is exactly one LaTeX-file per article (and no include-files) and one BibTeX-file.

The conference-related macros should look exactly as follows, except for your value of <article-no>, which can be found here.
\EventEditors{Sven Schewe, Thomas Schneider, and Jef Wijsen}
\EventNoEds{3}
\EventLongTitle{24th International Symposium on Temporal Representation and Reasoning (TIME 2017)}
\EventShortTitle{TIME 2017}
\EventAcronym{TIME}
\EventYear{2017}
\EventDate{October 16--18, 2017}
\EventLocation{Mons, Belgium}
\EventLogo{}
\SeriesVolume{90}
\ArticleNo{<article-no>}

Please name your article's LaTeX-file and BibTeX-file using the scheme "p<article-no>-<last name of first author>.tex" and "p<article-no>-<last name of first author>.bib". For example, p07-smith.tex and p07-smith.bib.

The following rules must be taken into account:
• Use pdflatex and an up-to-date LaTeX system.
• Use further LaTeX packages only if required. Avoid usage of packages like enumitem, enumerate, cleverref, natbib, paralist, wrapfig. Keep it simple, i.e., use as few additional packages as possible.
• Add custom made macros carefully and only those which are needed in the article (i.e., do not simply add your convolute of macros collected over the years).
• Do not use a different main font. For example, the usage of the times-package is forbidden.
• Provide full author names (especially with regard to the first name) in the \author macro and in the \Copyright macro.
• Fill out the \subjclass and \keywords macros. For the \subjclass, please refer to the ACM classification at http://www.acm.org/about/class/ccs98-html.
• If you refer to a longer version of the paper (“full version”), please make sure to provide a persistent URL, e.g., at arXiv. Preferrably mention this full version in a footnote attached to the title.
• Take care of suitable linebreaks and pagebreaks. No overfull \hboxes should occur in the warnings log.
• Provide suitable graphics of at least 300dpi (preferably in pdf format).
• Use the provided sectioning macros: \section, \subsection, \subsection*, \paragraph, \subparagraph*, ... “Self-made” sectioning commands (for example, \noindent{\bf My subparagraph.} will be removed and replaced by standard LIPIcs style sectioning commands).
• Do not alter the spacing of the lipics-v2016.cls style file. Such modifications will be removed.
• Do not use conditional structures to include/exclude content. Instead, please provide only the content that should be published – in one file – and nothing else.
• Remove all comments, especially avoid commenting large text blocks and using \iffalse ... \fi constructions.
• Keep the standard style (plainurl) for the bibliography as provided by the sample article. (natbib will be disabled.)
• Use BibTeX and provide exactly one BibTeX file for your article. The BibTeX file should contain only entries that are referenced in the article, preferably with a DOI. Please make sure that there are no errors and warnings with the referenced BibTeX entries.
• Use a spellchecker to get rid of typos.