Lista thedu
Mensagem
[ThEdu] photos of ThEdu'24
To :
thedu@uc.pt
Subject :
[ThEdu] photos of ThEdu'24
From :
Pedro Quaresma <pedro@mat.uc.pt>
Date :
Wed, 3 Jul 2024 22:15:43 +0100
Dear ThEduers The edition of ThEdu'24, 1-2 July was a very lively workshop.You can see some photos of the different session in https://app.box.com/s/wxb0coulids3n1kj4xdr8mdc943y7k1a
More information about the proceedings soon. Cheers, -- 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: [ThEdu] EPTCS 400 - Proceedings 12th International Workshop on Theorem proving components for Educational software (ThEdu'23) | Próxima mensagem por data: [ThEdu] ThEdu'24 - Proceedings |
| Mensagem anterior por assunto: [ThEdu] PAT 2023 summer school about the use of Proof Assistants for Teaching | Próxima mensagem por assunto: [ThEdu] Post-Procedings ThEdu'19/EPTCS cfp |