Authors are invited to submit either regular papers (up to 15 pages),
or position papers, system descriptions, work in progress, extended
abstracts (5-7 pages), in Electronic Proceedings in Theoretical Computer Science (EPTCS) style. Submissions should be in PostScript or PDF format. Papers should be submitted electronically via the easy-chair submission site.
The Proceedings will be published in Electronic Proceedings in
Theoretical Computer Science (EPTCS). Selected
authors will be invited to submit a full version of their papers after
the workshop. These submissions will pass through a second round of
reviewing and accepted contributions are to be included in a special
issue of the international journal Mathematical Structures
in Computer Science (MSCS).