[Event at CIG] 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://www.uc.pt/en/congressos/thedu/ThEdu22
Submission link
  https://easychair.org/conferences/?conf=thedu22
Submission deadline
  May 9, 2022