[ThEdu] ThEdu'23

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

Dear ThEduers

The ThEdu'22, EPTCS volume is in its way, the authors of the accepted 
papers were already notified and the editorial process will start soon.

and

!!! ThEdu'23 was approved !!!

===//===

we are pleased to inform you that your submitted event:

Theorem Proving Components for Educational Software (ThEdu'23)

has been accepted as a satellite event of CADE23/FSCD23, which will take 
place in Rome, Italy, on July 1st-5th, 2023.

===//===

So, it is time to think and then write your extended abstracts and lets 
meet in Rome.

Merry Christmas and a Happy New Year.

--

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