11 Aug 2022
Haifa, Israel
ThEdu'22 11th International Workshop on Theorem-Proving Components for Educational Software Technion, Israel Institute of Technology Haifa, Israel, August 11, 2022 a satellite of FLoC 2022 Conference website https://www.uc.pt/en/congressos/thedu/ThEdu22 Submission link https://easychair.org/conferences/?conf=thedu22 Submission deadline May 9, 2022 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam