Lista thedu
Mensagem
[ThEdu] New extended abstracts deadline
To :
ThEdu's mailing list <thedu@uc.pt>
Subject :
[ThEdu] New extended abstracts deadline
From :
Pedro Quaresma <pedro@mat.uc.pt>
Date :
Sun, 2 Apr 2023 10:05:20 +0100
Dear ThEduers Given some requests asking for an extension of the deadline. NEW - Extended Abstracts: 21 April 2023 NEW - Author Notification: 19 May 2023 Workshop Day: 5 July 2023 See you in Rome :) -- 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] ThEdu'23 2nd call for papers | Próxima mensagem por data: [ThEdu] Applications in Education of Automated Deduction in Geometry |
| Mensagem anterior por assunto: [ThEdu] new deadline ThEdu'22 | Próxima mensagem por assunto: [ThEdu] PAT 2023 summer school about the use of Proof Assistants for Teaching |