[with apologies for cross-posting] 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 _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
