Lista thedu
Mensagem
[ThEdu] ThEdu'21 at CADE28 !!!
To :
ThEdu's mailing list <thedu@uc.pt>
Subject :
[ThEdu] ThEdu'21 at CADE28 !!!
From :
Pedro Quaresma <pedro@mat.uc.pt>
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 Cheers, -- 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 P-3001-454 COIMBRA, PORTUGAL Elec. mail: pedro@mat.uc.pt webpage: http://www.mat.uc.pt/~pedro/ 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 |