Lista thedu


[ThEdu] ThEdu'21 virtual on 11 July 2021

To :   ThEdu's mailing list <>
Subject :   [ThEdu] ThEdu'21 virtual on 11 July 2021
From :   Pedro Quaresma <>
Date :   Wed, 10 Feb 2021 11:15:26 +0000

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



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] ThEdu'21 !!! Próxima mensagem por data: [ThEdu] 2nd cfp
Mensagem anterior por assunto: [ThEdu] ThEdu'21 registration Próxima mensagem por assunto: [ThEdu] Thedu'22