[ThEdu] Fwd: FSCD-IJCAR 2020 WS Your submission is accepted

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

Dear ThEduers

See you in Paris :)

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

Assunto:	FSCD-IJCAR 2020 WS Your submission is accepted
Data:	Mon, 2 Dec 2019 16:04:38 +0100
De:	FSCD-IJCAR 2020 WS <fscdijcar2020ws@easychair.org>
Para:	Pedro Quaresma <pedro@mat.uc.pt>

Dear Pedro Quaresma,
we are pleased to inform you that the organisers of FSCD-IJCAR 2020 Satellite Workshops have accepted your proposal for the workshop Theorem Prover Components for Educational Software (ThEdu'20). Thanks again for your submission.

We will follow up soon with further information.

Kind regards
--
Giulio Manzonetto,
Workshop Chair