Lista thedu

Mensagem

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

To :   ThEdu's mailing list <thedu@uc.pt>
Subject :   [ThEdu] ThEdu'20/EPTCS and ThEdu'21
From :   Pedro Quaresma <pedro@mat.uc.pt>
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.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








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