[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ][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://urldefense.com/v3/__https://www.uc.pt/en/congressos/thedu/ThEdu22__;!!IBzWLUs!HXE6xm-Q5UffKbBe2DJ019fLniDFfFDeyYyzrIqHqxXt8YV9nvi8PiT4TwMiAxYISk7wAAXp9Jbm5g$ Submission link https://urldefense.com/v3/__https://easychair.org/conferences/?conf=thedu22__;!!IBzWLUs!HXE6xm-Q5UffKbBe2DJ019fLniDFfFDeyYyzrIqHqxXt8YV9nvi8PiT4TwMiAxYISk7wAAUhlI-Vkg$ Submission deadline May 9, 2022
