Lista thedu
Mensagem
[ThEdu] ThEdu'22 Proceedings --- EPTCS 375
To :
ThEdu's mailing list <thedu@uc.pt>
Subject :
[ThEdu] ThEdu'22 Proceedings --- EPTCS 375
From :
Pedro Quaresma <pedro@mat.uc.pt>
Date :
Fri, 10 Mar 2023 17:07:05 +0000
Dear ThEduers The ThEdu'22 proceedings have been just published as EPTCS 375. For all that contributed to this volume, thank you. I hope we can all enjoy it. See you at Rome for ThEdu'23 (and of course CADE2023 :) Cheers, -- At\'e breve;Deica Logo;\`A bient\^ot;See you later;Vidimo se;A tra poco;Do zobaczenia Assistant Professor Pedro Quaresma Mathematics Departament, Science and Technology Faculty University of Coimbra Largo D.Dinis 3000-143 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: [ThEdu] PAT 2023 summer school about the use of Proof Assistants for Teaching | Próxima mensagem por data: [ThEdu] ThEdu'23 2nd call for papers |
| Mensagem anterior por assunto: [ThEdu] ThEdu'22 participation invitation | Próxima mensagem por assunto: [ThEdu] ThEdu'22 program |