THedu'11 seeks both papers and demos presenting original unpublished work which is not been submitted for publication elsewhere.

Both, papers and demos, are submitted as extended abstracts first (THedu'11 easychair, 29 Apr 2011), which must not exceed five pages. The abstract should be new material. Demos should be accompanied by links to demos/downloads and [existing] system descriptions. Availability of such accompanying material will be a strong prerequisite for acceptance.    

The author of the extended abstracts and system descriptions should use the EPTCS format. Selected extended abstracts and system descriptions will appear in CISUC  Technical Report series (ISSN 0874-338X).

At least one author of each accepted paper/demo is expected to attend THedu'11 and presents her or his paper/demo, and the extended abstracts will be made available online.

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. 

Revised versions are submitted in LaTeX according to the EPTCS style guidelines via easychair.