[ThEdu] ThEdu'19 welcome to Natal

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

Dear ThEdu Interest GroupMembers

ThEdu'19 is just around the corner 25 August 2019, Natal, Brazil.

Check the CADE27 and ThEdu'19 Web-pages for news.

See you in Natal, Brazil

Pedro Quaresma

---//---
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, 25 August 2019, Natal, Brazil
LSFA 2019, 14th International Workshop on Logical and Semantic Frameworks, with Applications, Natal, Brazil, Aug 24-26, 2019
ARCADE 2019, Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, 26 August 2019, Natal, Brazil
---//---

-- 

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