Email Gateway (Dec 27 2021 at 18:14): Email Gateway (Dec 27 2021 at 18:14):From: Joao Marcos <botocudo@gmail.com>
[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
Last updated: Jul 15 2022 at 23:21 UTC