22nd International Conference on Descriptional Complexity of Formal Systems (DCFS 2020)


Submission

Authors are invited to submit papers of no more than 12 pages in LNCS style, and including bibliography in BibTeX using bibliography style splncs04.bst. Proofs omitted due to space constraints may be put into an appendix to be read by the reviewers at their discretion. Moreover, to make the work of reviewers easier, relevant papers needed for a better understanding of the submitted paper should be appended at the end, too. Simultaneous submissions to other conferences or workshops with published proceedings and submitting previously published papers are not allowed. Papers should be submitted electronically as a PDF document. The submission server can be accessed by clicking the following link:
https://www.easychair.org/conferences/?conf=dcfs2020.
After logging in to your EasyChair account, select the "New Submission" menu item on the top of the page. If you do not have an EasyChair account, follow the instructions on the login page.

Proceedings and Special Issue

The accepted papers will appear in the proceedings volume published in the series Lecture Notes in Computer Science published by Springer, which will be available at the conference. In addition, a special issue of Journal of Automata, Languages and Combinatorics (JALC) will be devoted to revised and extended versions of selected papers of the conference.