[ThEdu] ThEdu'20

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

Dear ThEduers

ThEdu'20 29 June, at IJCAR 2020, Paris, France.

See you there.

CFP, see http://www.uc.pt/en/congressos/thedu/thedu20/

Cheers,

---//---
CADGME 2020, The 8th Conference on Computer Algebra and Dynamic Geometry in Mathematics Education, Jerusalem, June 21st -25th , 2020.
IJCAR 2020, International Joint Conference on Automated Reasoning, Paris, France, 29th June - 2nd July 2020.
ThEdu'20, 9th International Workshop on Theorem proving components for Educational software, 29 June, at IJCAR 2020.
ECM 2020, 8th European Congress of Mathematics, Portoroz, Slovenia, 5 - 11 July 2020.
ADG 2020, 13th International Workshop on Automated Deduction in Geometry, Hagenberg, Austria, 13-15 July, 2020.
8IMM, 8th Iberian Mathematical Meeting, Institute of Mathematics of the University of Seville, 7-9 October 2020.
---//---

-- 

At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia

Professor 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