Selected extended abstracts and system descriptions as a CISUC Technical Report series (ISSN 0874-338X)
After presentation at the conference selected authors will be invited
to submit a substantially revised version, extended to 14-20 pages, for
publication by the Electronic Proceedings in Theoretical Computer Science
(EPTCS). Papers/system descriptions will be reviewed by blind peer
review and evaluated by three referees with respect to relevance,
clarity, quality, originality, and impact.