Papers presenting original contributions on descriptional complexity of formal systems and structures (and its applications) are being sought. Authors are invited to submit papers of no more than 12 pages in LNCS style in electronic format (PostScript or PDF). 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. The submissions are handled by the EasyChair conference management system.

To access the DCFS 2011 submission system, follow this link:
Submission is closed.

All submissions will be reviewed by at least three referees. The proceedings volume is published by Springer in its LNCS book series and will be available at the workshop.

springer            springerlink

Selected papers will be published in a special journal issue, that will be announced later.

Important Dates

The following time schedule applies:
  • Submission: March 21, 2011 (extended deadline).
  • Notification: April 29, 2011.
  • Final papers: May 18, 2011 (STRICT DEADLINE).
  • Workshop: July 25 - 27, 2011.
The submission version must not exceed 12 pages and must be prepared in the LNCS style (see above).