[TYPES/announce] CFP: ThEdu'2022

[Joao Marcos]

[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