  The THedu'11 workshop received thirteen submissions, twelve of which were
accepted and presented during the workshop. For the post-conference proceedings
nine submission where received and accepted. The submissions are within the
scope of the following points, which have been announced in the call of papers:
CTP-based software tools for education; CTP technology combined with novel
interfaces, drag and drop, etc.; technologies to access ITP knowledge relevant
for a certain step of problem solving; usability considerations on representing
ITP knowledge; combination of deduction and computation; formal problem
specifications; effectiveness of ATP in checking user input; formats for
deductive content in proof documents, geometric constructions, etc; formal
domain models for e-learning in mathematics and applications.
