[ThEdu] EPTCS

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

Dear Members of the ThEdu Interest Group

The EPTCS/ThEdu'17 volume 267 is ready!

DOI: 10.4204/EPTCS.267

http://eptcs.web.cse.unsw.edu.au/content.cgi?ThEdu17

Thank you all for all the cooperation leading to this volume.

... and don't forget ThEdu'18 at FLOC Oxford

See you at ThEdu'18

---//---

CADGME 2018, Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education,  2018 Coimbra, Portugal 

ThEdu'18, 7th International Workshop on Theorem proving components for Educational software, July 2018, Oxford, UK (at FLOC 2018)

ADG 2018, The 12th International Conference on Automated Deduction in Geometry, Nanning, China, September 11-14, 2018 

---//---

-- 

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