Lista thedu


[ThEdu] Fwd: EPTCS: thedu2020 proceedings published

To :   ThEdu's mailing list <>
Subject :   [ThEdu] Fwd: EPTCS: thedu2020 proceedings published
From :   Pedro Quaresma <>
Date :   Fri, 30 Oct 2020 10:00:08 +0000

Dear Colleagues

The ThEdu'20 proceedings is published !!! :)

Thank you, all the authors all the reviewers.

Lets hope that we can meet in Pittsburg next year at the next edition of ThEdu (we are applying to be a CADE28 workshop).

Pedro, João, Walther

-------- Mensagem reencaminhada --------
Assunto: EPTCS: thedu2020 proceedings published
Data: Fri, 30 Oct 2020 12:30:19 +1100
De: Rob van Glabbeek <>
Para: Pedro Quaresma <>, Walther Neuper <>, Joao Marcos <>

Dear Pedro, Walther and Joao,

this is to let you know that the proceedings of ThEdu'20
have been published today as EPTCS 328.
It will take a few more days before the arxival process is complete.

With best regards,
Rob van Glabbeek
(for EPTCS)

Mensagem anterior por data: [ThEdu] ThEdu'20/EPTCS and ThEdu'21 Próxima mensagem por data: [ThEdu] ThEdu'21 at CADE28 !!!
Mensagem anterior por assunto: [ThEdu] Fwd: Early registration deadline approaching! Próxima mensagem por assunto: [ThEdu] Fwd: EPTCS: ThEdu21 proceedings published