[Event at CIG] CFP: ThEdu'2022

Joao Marcos botocudo at gmail.com
Mon Jan 10 12:44:40 CET 2022


[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


More information about the IFI-CI-Event mailing list