[ThEdu] ThEdu'18

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

Dear Members of the ThEdu interest group

ThEdu'18, this edition integrated in FLoc/IJCAR at Oxford, went very well.

We have a good set of submissions, vivid presentations with many questions by the audience.

It was a very good edition overall (we hope that EPTCS volume will be also very good).

... and maybe you should begin your lessons of Portuguese, next year edition of CADE, and we will apply to be accepted as a workshop of CADE, is in Natal, Brazil :)

See you there.

---//---
ADG 2018, The 12th International Conference on Automated Deduction in Geometry, Nanning, China, September 11-14, 2018
AISC 2018, 13th International Conference on Artificial Intelligence and Symbolic Computation, Suzhou, China, September 16-19, 2018
CADE 2019, 27th International Conference on Automated Deduction, 25-30 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