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
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
Selected papers will be published in a special journal
issue, that will be announced later.
time schedule applies:
- Submission: March 21, 2011 (extended deadline).
- Notification: April 29,
- 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).