Lista thedu


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

To :   ThEdu's mailing list <>
Subject :   [ThEdu] ThEdu'20/EPTCS and ThEdu'21
From :   Pedro Quaresma <>
Date :   Tue, 15 Sep 2020 16:25:23 +0100

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.

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



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'20/EPTCS Próxima mensagem por data: [ThEdu] Fwd: EPTCS: thedu2020 proceedings published
Mensagem anterior por assunto: [ThEdu] ThEdu'20/EPTCS Próxima mensagem por assunto: [ThEdu] ThEdu'20/EPTCS proceedings