[ThEdu] ThEdu'20 at IJCAR 2020, Paris, France, 29th June - 2nd July 2020.

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

Dear ThEduers

ThEdu'19 is almost closed, the reviewing step for the post-proceedings was concluded, the decisions were taken and the information sent to the authors.

From 7 submissions, 6 were accepted for publication in a EPTCS volume. We hope it will be available soon (February!?).

It is time to begin thinking about ThEdu'20.

ThEdu'20, 9th International Workshop on Theorem proving components for Educational software, at IJCAR 2020, Paris, France, 29th June - 2nd July 2020.

  http://www.uc.pt/en/congressos/thedu/thedu20/

  https://ijcar2020.org/

We still do not know the exact day. The call for papers will be available soon.

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