Extended Abstracts: 07 Jun 2013 (extended deadline)
We welcome submission of extended abstracts (4 pages max) presenting original unpublished work which is not been submitted for publication elsewhere.
All accepted extended abstracts will be presented at the workshop, and the extended abstracts will be made available online. A publication post-proceedings (papers, 16 pages max) in EPTCS is under consideration.
Extended abstracts and demo proposals should be submitted via THedu'13 easychair.
Extended abstracts should be no more than 4 pages in length and are to be submitted in PDF format. They must conform to the EPTCS style guidelines.
At least one author of each accepted extended abstract/demo is expected to attend THedu'13 and presents her or his extendedabstract/demo.
If needed contact the ThEdu organizers.