[ThEdu] EPTCS: thedu18 proceedings volume 290

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

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