[ThEdu] Thedu'22

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

Dear ThEduers

We just received the answer from the FLoC'22 organizers.


  "We are pleased to inform you that your proposed workshop

   Theorem Proving Components for Educational Software (ThEdu'22)

   has been selected to take place during FLoC 2022. Your workshop will
be held in the post-FLoC workshop block (August 11--12)."


So prepare your backpacks, ThEdu'22 goes to FLoC/Haifa.


P.S.

The ThEdu'21 EPTCS volume is doing its way, the reviewing process it now
running.

-- 

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