ThEdu Proceedings
-
- ThEdu'22 - Proceedings
- Proceedings 11th
International Workshop on Theorem proving components for Educational
software, 11 or 12 August, workshop at FLoC 2022, July 31 – August 12, 2022, Haifa, Israel, EPTCS 375, 10th March 2023.
- ThEdu'21 - Proceedings
- Proceedings 10th
International Workshop on Theorem proving components for Educational
software, July 2021, Carnegie Mellon University, Pittsburgh, PA, United States of America (virtual), EPTCS 354, 8th February 2022.
- ThEdu'20 - Proceedings
- Proceedings 9th International Workshop on
Theorem Proving Components for Educational Software (ThEdu'20), Paris, France, June 2020 (canceled due COVID-19), EPTCS 328, 30th October 2020.
- ThEdu'19 - Proceedings
- Proceedings 8th International Workshop on
Theorem Proving Components for Educational software (ThEdu'19), 25 August 2019, Natal, Brazil, EPTCS 313, 28th February 2020.
- ThEdu'18 - Proceedings
- Proceedings 7th International Workshop on
Theorem proving components for Educational software (ThEdu'18), Oxford, United Kingdom, 18 July 2018, EPTCS 290, 1 April 2019.
- ThEdu'17 - Proceedings
- Proceedings 6th International Workshop on
Theorem proving components for Educational software (ThEdu'17), Gothenburg Sweden, 6 August 2017, EPTCS 267, 2 March 2018.
- ThEdu'16 - Proceedings
- Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral
Program, and Work in Progress at the Conference on Intelligent Computer
Mathematics (CICM 2016),
Bialystok, Poland, July 25-29, 2016. CEUR-WS, 1785.
- ThEdu'15 - Proceedings
- Proceedings 4th International Workshop on
Theorem proving components for Educational software (ThEdu'15). July 15, 2015, Washington DC, USA CISUC TR2016-01.
- ThEdu'14 - Proceedings
- Joint Proceedings
of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track
at CICM co-located with Conferences on Intelligent Computer Mathematics
(CICM 2014), Coimbra, Portugal, July 7-11, 2014. CEUR-WS, 1186.
- 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. CEUR-WS, 1010.
- ThEdu'11 - Proceedings
- Post-Proceedings of the First Workshop on CTP Components for Educational Software, Wrocław, Poland, 31 July 2011. EPTCS 79, 2012.
