Lista thedu


[ThEdu] ThEdu'21 at CADE28 !!!

To :   ThEdu's mailing list <>
Subject :   [ThEdu] ThEdu'21 at CADE28 !!!
From :   Pedro Quaresma <>
Date :   Fri, 11 Dec 2020 17:55:05 +0000

Dear ThEduers

We have just now received the good news"

"I am happy to notify you that your submission Theorem Proving
Components for Educational Software (ThEdu'21) has been accepted."

So prepare to go (physical or online) to

CADE-28: The 28th International Conference on Automated Deduction
Carnegie Mellon University
Pittsburgh, PA, United States, July 11-16, 2021



At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia

Professor Pedro Quaresma
Mathematics Departament, Science and Technology Faculty
University of Coimbra
Elec. mail:
phone: +351 239 791 137; fax: +351 239 832 568

Mensagem anterior por data: [ThEdu] Fwd: EPTCS: thedu2020 proceedings published Próxima mensagem por data: [ThEdu] ThEdu'21 !!!
Mensagem anterior por assunto: [ThEdu] ThEdu'21 2nd calfor paper Post-proceedings Próxima mensagem por assunto: [ThEdu] ThEdu'21 call for participation