Lista thedu

Mensagem

[ThEdu] EPTCS 400 - Proceedings 12th International Workshop on Theorem proving components for Educational software (ThEdu'23)

To :   ThEdu's mailing list <thedu@uc.pt>
Subject :   [ThEdu] EPTCS 400 - Proceedings 12th International Workshop on Theorem proving components for Educational software (ThEdu'23)
From :   Pedro Quaresma <pedro@mat.uc.pt>
Date :   Mon, 8 Apr 2024 11:02:43 +0100

Dear ThEduers

A nice round number for our volume, EPTCS 400

Proceedings 12th International Workshop on Theorem proving components for Educational software (ThEdu'23)

DOI: 10.4204/EPTCS.400

See you at ThEdu'24

--

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'24 2nd call for papers Próxima mensagem por data: [ThEdu] photos of ThEdu'24
Mensagem anterior por assunto: [ThEdu] EPTCS Próxima mensagem por assunto: Re: [Thedu] EPTCS: THedu'11 Proceedings