- 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
Bath, UK, July 9 - 10, 2013.