41st International Symposium on Mathematical Foundations of Computer Science August 22-26, 2016, Krakow (Poland)

MFCS-16 is organized in coopperation with EATCS

# Preparing the Final Versions of the Papers

Please fill in the copyright agreement for LIPIcs:

print it, fill it in, sign, and scan. Then please send the scanned PDF to Piotr Faliszewski (please include your paper number and title): We should receive your copyright form by June 15th (the same as the camera ready deadline).

Please note that MFCS proceeding are published under the Creative Commons CC-BY license (CC-BY 3.0 DE). This means that the authors retain their copyright.

## Formatting Instructions

The papers should be formatted using LaTeX and lipics.cls available from: The papers start with page number 1 with arabic pagenumbering style. The papers should be no longer than 12 pages (excluding references).

The LaTeX source should be based on the sample file that comes with the lipics-authors-v2016.tgz package. There should be a section at the very beginning of the main LaTeX file named "Editor-only macros". This section must be filled out as follows (please note that we will be adding the article numbers and, thus, we will need the papers' sources):

\EventEditors{Piotr Faliszewski, Anca Muscholl, and Rolf Niedermeier}
\EventNoEds{3}
\EventLongTitle{41st International Symposium on Mathematical Foundations
of Computer Science (MFCS 2016)}
\EventShortTitle{MFCS 2016}
\EventAcronym{MFCS}
\EventYear{2016}
\EventDate{August 22--26, 2016}
\EventLocation{Krak\'ow, Poland}
\EventLogo{}
\SeriesVolume{58}
\ArticleNo{YOUR_ARTICLE_NUMBER}

Please replace YOUR_ARTICLE_NUMBER with your article number from the list of accepted papers

### Other Specific Rules

• It is obligatory for at least one of the authors to register for MFCS and present the paper at the conference.
• Please use only one LaTeX source file (do not use any LaTeX include macros; bibliography data can, of course, be in a separate bbl file). Please provide the .bib file.
• Do not include bibliographic references in the abstract (the abstract needs to be readable on its own, without the paper). Please try to avoid any special formatting commands in the abstract.
• Use pdflatex and an up-to-date LaTeX system.
• Use further LaTeX packages only if required. Avoid usage of packages like enumitem, enumerate, cleverref. Keep it simple, i.e. use as few additional packages as possible (note that we will need to recompile your paper).
• 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
• Take care of suitable linebreaks and pagebreaks. No overfull \hboxes should occur in the warnings log.
• Provide suitable graphics of at least 300dpi (preferrably 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. We recommend the advice available at: regarding how to automatically remove comments from a LaTeX file.
• Keep the standard style (plainurl) for the bibliography as provided by the sample article.
• Use BibTex and provide exactly one BibTex file for your article. The BibTex file should contain only entries that are referenced in the article. Please make sure that there are no errors and warnings with the referenced BibTex entries.
• Use a spellchecker to get rid of typos.
• A manual for the LIPIcs style is available at:

## Submitting the Camera Ready Files

Please submit the camera ready paper through EasyChair (a single zip file including the final PDF and all the sources, including the bibfile).

 Contact: Piotr Faliszewski