Proceedings of ThEdu 2022
5 views
Skip to first unread message
Joao Marcos
Mar 10, 2023, 7:16:27 PM3/10/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Acabou de sair do forno (open access):
Proceedings 11th International Workshop on
Theorem Proving Components for Educational Software
Haifa, Israel, 11 August 2022
Edited by: Pedro Quaresma, João Marcos and Walther Neuper
https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?Thedu22
Aos possíveis interessados, (re-)envio o CFP do ThEdu deste ano, que
ocorrerá em julho em Roma:
https://www.uc.pt/en/congressos/thedu/ThEdu23/cfp
Abraços,
Joao Marcos
Proceedings 11th International Workshop on
Theorem Proving Components for Educational Software
Haifa, Israel, 11 August 2022
Edited by: Pedro Quaresma, João Marcos and Walther Neuper
https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?Thedu22
Aos possíveis interessados, (re-)envio o CFP do ThEdu deste ano, que
ocorrerá em julho em Roma:
https://www.uc.pt/en/congressos/thedu/ThEdu23/cfp
Abraços,
Joao Marcos
Reply all
Reply to author
Forward
0 new messages