Re: [ThEdu] EPTCS: thedu18 proceedings volume 290

[Joao Marcos <botocudo@gmail.com>]

Pedro, Walther:
Congratulations on your work on these proceedings!
https://arxiv.org/html/1903.12402

ALL:
We are preparing a great event for you in Natal!

Yours,
Joao Marcos

On Mon, Apr 1, 2019 at 5:46 AM Pedro Quaresma <pedro@mat.uc.pt> wrote:
>
> Dear ThEduers
>
> this is to let you know that the proceedings of ThEdu'18
> have been published today as EPTCS 290.
> It will take a few more days before the arxival process is complete.
>
> Thank you all, the PC members, authors, participants in ThEdu'18, for
> all the ThEdu supporters overall.
>
> Now it is time to finalize your new submissions to ThEdu'19.
>
> See you in Brazil
>
> Cheers
> Pedro Quaresma
> Walther Neuper
>
> ---//---
> ACA 2019, Applications of Computer Algebra 2019 July 16-20, 2019 Montréal, Canada.
> CADE 2019, 27th International Conference on Automated Deduction, 25-30 August 2019, Natal, Brazil
> ThEdu'19, 8th International Workshop on Theorem proving components for Educational software, August 2019, Natal, Brazil
> LSFA 2019, 14th International Workshop on Logical and Semantic Frameworks, with Applications, Natal, Brazil, Aug 24-26, 2019
> ---//---
>
> --
>
> At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia
>
> Professor Auxiliar 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
>
>
>
>
>
> _______________________________________________
> Thedu mailing list
> Thedu@uc.pt
> http://ml.ci.uc.pt/mailman/listinfo/thedu



-- 
http://sequiturquodlibet.googlepages.com/