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

[Richard Philippe R. <philippe.r.richard@umontreal.ca>]

À bientôt!

Philippe

Le 2 déc. 2019 à 11:23, Pedro Quaresma <pedro@mat.uc.pt> a écrit :

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

_______________________________________________
Thedu mailing list
Thedu@uc.pt
http://ml.ci.uc.pt/mailman/listinfo/thedu

smime.p7s
Description: S/MIME cryptographic signature