Lista thedu

Mensagem

Re: [Thedu] EPTCS: THedu'11 Proceedings

To :   thedu@uc.pt
Subject :   Re: [Thedu] EPTCS: THedu'11 Proceedings
From :   Pedro Quaresma <pedro@mat.uc.pt>
Date :   Tue, 21 Feb 2012 10:27:34 +0000

Dear THeduers

The volume number of THedu'11 is EPTCS 79 :)

> Dear Volume editors,
> 
> Right at this moment our software is publishing the proceedings of
> THedu'11.
> 
> The volume number of THedu'11 is EPTCS 79.
> 
> Best regards,
> Rob van Glabbeek
> (Editor-in-Chief)

-- 
  At\'e breve;\`A bient\^ot;See you later;Vidimo se;

Professor Auxiliar Pedro Quaresma
Departamento de Matem\'atica, Faculdade de Ci\^encias e Tecnologia
Universidade de Coimbra
P-3001-454 COIMBRA, PORTUGAL
correioE: pedro@mat.uc.pt
p\'agina: http://www.mat.uc.pt/~pedro/
telef: +351 239 791 137; fax: +351 239 832 568

Mensagem anterior por data: [Thedu] THedu12 at CICM 2012 Próxima mensagem por data: [Thedu] THedu12 1st call for papers
Mensagem anterior por assunto: [ThEdu] EPTCS 400 - Proceedings 12th International Workshop on Theorem proving components for Educational software (ThEdu'23) Próxima mensagem por assunto: [ThEdu] EPTCS / ThEdu'18