[ThEdu] ThEdu presentations

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

Dear ThEduers

The ThEdu'19 was today, it went very well with good presentations and 
vivid discussions.

The presentation are already in ThEdu'19 web-page.

Soon, some more news about the conclusions of the business meeting 
(ThEdu Post Proceedings and ThEdu'20).

Cheers,

--
---//---
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, August 24-26, 2019, Natal, Brazil.
---//---
At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;

Professor Auxiliar Pedro Quaresma
Departamento de Matem\'atica, Faculdade de Ci\^encias e Tecnologia
Universidade de 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