Authors are invited to submit an extended abstract, presenting original research on the theory of Computer Science, of no more than 12 pages, including the title page, but excluding references and any appendix, in the LIPIcs style. The usage of pdflatex and the LIPIcs style fileare mandatory: papers that deviate significantly from the required format may be rejected without consideration of merit.