DCFS 2012

14th International Workshop on Descriptional Complexity of Formal Systems

Author Instructions

Papers presenting original contributions concerning the topics of the conference are being sought. Authors are invited to submit papers of no more than 12 pages in LNCS-style LaTeX2e (available at http://www.springer.de/comp/lncs/authors.html). Papers must be in English and provide sufficient details to allow the program committee to assess their merits. Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members at their discretion. Simultaneous submission to other conferences or workshops with published proceedings is not allowed.

Papers will be submitted electronically in PDF, using the EasyChair system. Use the following link for submission:


The proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS) series and will be available at the
workshop. As in previous years, a special journal issue with full versions of selected papers will be devoted to DCFS 2012.
Stacks Image 110