[ThEdu] Fwd: EPTCS: thedu2020 proceedings published

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

Dear Colleagues

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

EPTCS	Contents
328	Proceedings 9th International Workshop on Theorem Proving Components for Educational Software (ThEdu'20)

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).

Cheers,

Pedro, João, Walther

-------- Mensagem reencaminhada --------

Assunto:	EPTCS: thedu2020 proceedings published
Data:	Fri, 30 Oct 2020 12:30:19 +1100
De:	Rob van Glabbeek <rvg@eptcs.org>
Para:	Pedro Quaresma <pedro@mat.uc.pt>, Walther Neuper <walther.neuper@jku.at>, Joao Marcos <botocudo@gmail.com>

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)