[ThEdu] ThEdu'21 virtual on 11 July 2021

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

Dear ThEduers

The 28th International Conference on Automated Deduction (CADE-28) will
be virtual due to the COVID-19 pandemic.

Subsequently, ThEdu'21, on the 11 July 2021, will be virtual.

Details will follow as soon as possible
(https://www.uc.pt/en/congressos/thedu/ThEdu21).

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