[ThEdu] ThEdu'19 workshop at CADE27

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

Dear ThEduers

It is official, the next edition of ThEdu will be in Natal, Brazil, last
week of August.

*) Cezary Kaliszyk as accepted to be our invited speaker.

*) the web-page is on: http://www.uc.pt/en/congressos/thedu/thedu19

and soon we will issue the cfp.

Let's meet at the sunny Brazil (even if it is the 'winter season'
there)  for CADE+ThEdu.

Cheers,

---//---

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;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