Lista thedu

Mensagem

[ThEdu] Thedu'22

To :   ThEdu's mailing list <thedu@uc.pt>
Subject :   [ThEdu] Thedu'22
From :   Pedro Quaresma <pedro@mat.uc.pt>
Date :   Tue, 2 Nov 2021 19:27:19 +0000

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








Mensagem anterior por data: Re: [ThEdu] ThEdu21/EPTCS Próxima mensagem por data: [ThEdu] ThEd'22 cfp
Mensagem anterior por assunto: [ThEdu] ThEdu'21 virtual on 11 July 2021 Próxima mensagem por assunto: [ThEdu] ThEdu'22 2nd cfp