[ThEdu] ThEdu'20/EPTCS and ThEdu'21

[Pedro Quaresma <pedro@mat.uc.pt>]

Dear Colleagues

The ThEdu'20 EPTCS/proceedings is underway, we already have in the EPTCS
server the 5 papers, the editing process, checking the changes and the
conformity to EPTCS rules as began... we will have a new exciting EPTCS
volume soon.

News about ThEdu'21: CADE28, The 28th International Conference on
Automated Deduction (CADE-28) Carnegie Mellon University, Pittsburgh,
USA. 11-16th July 2021.http://www.cade-28.info

We are considering to submit ThEdu'21 to the cfw of CADE'28, continuing
this connection with CADE. More news about this soon.

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