CFP: ThEdu'22
7 views
Skip to first unread message
Joao Marcos
Dec 27, 2021, 1:13:53 PM12/27/21
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
[with apologies for cross-posting]
ThEdu'22
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
ThEdu'22
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
Reply all
Reply to author
Forward
0 new messages