ThEdu Proceedings 

THedu'11 - Post-Proceedings
Post-Proceedings of the First Workshop on CTP Components for Educational Software, Wrocław, Poland, 31st July 2011, Pedro Quaresma and Ralph-Johan Back (editors), EPTCS, Volume 79, 2012.
Thedu'13 - Proceedings
Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2013),
Bath, UK, July 9 - 10, 2013.