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