Proceedings (Extended abstracts)

Selected extended abstracts and system descriptions as a CISUC  Technical Report series (ISSN 0874-338X)

  1. CISUC TR 2011/001

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.