Lista thedu

Índice cronológico

› Índice por assuntos | Total de mensagens no arquivo: 137

Página 3 de 3

Remetente	Assunto	Data
Pedro Quaresma	› [ThEdu] ThEdu'15, Theorem proving components for Educational software - cfp	02/03/2015
Pedro Quaresma	› [ThEdu] Conferences on Intelligent Computer Mathematics - Systems & Data	09/12/2014
Walther Neuper	› Re: [ThEdu] tool demos in ThEdu'14 ff ?	01/12/2013
Pedro Quaresma	› Re: [ThEdu] tool demos in ThEdu'14 ff ?	29/11/2013
Walther Neuper	› [ThEdu] tool demos in ThEdu'14 ff ?	29/11/2013
Walther Neuper	› Re: [ThEdu] ThEdu'13	11/07/2013
Pedro Quaresma	› [ThEdu] ThEdu'13	11/07/2013
Pedro Quaresma	› [Thedu] THedu'13 - 2nd Call for Extended Abstracts	19/04/2013
Pedro Quaresma	› Re: [Thedu] THedu 13 ???	04/01/2013
Walther Neuper	› [Thedu] THedu 13 ???	04/01/2013
Pedro Quaresma	› [Thedu] THedu 13	19/09/2012
Walther Neuper	› [Thedu] THedu "green paper" for CAME	13/07/2012
Walther Neuper	› [Thedu] THedu future: publication in _edu_	01/07/2012
Burkhart Wolff	› Re: [Thedu] THedu future	04/06/2012
Walther Neuper	› [Thedu] THedu future	04/06/2012
Pedro Quaresma	› [Thedu] Reasons for this year failure:/ Reasons to pursue	30/05/2012
Pedro Quaresma	› [Thedu] THedu future	30/05/2012
Walther Neuper	› Re: [Thedu] THedu '12	20/05/2012
Pedro Quaresma	› [Thedu] THedu'12 at AAR Newsletter No. 97	10/05/2012
Pedro Quaresma	› [Thedu] THedu - last call for papers	02/05/2012
Walther Neuper	› Re: [Thedu] THedu'12	19/04/2012
Pedro Quaresma	› [Thedu] 2nd Call for papers (2nd version)	17/04/2012
Pedro Quaresma	› [Thedu] 2nd Call for papers	16/04/2012
Pedro Quaresma	› [Thedu] THedu 12	07/04/2012
Pedro Quaresma	› [Thedu] THedu'12 poster and 1st call for papers	29/02/2012
Pedro Quaresma	› [Thedu] THedu12 1st call for papers	27/02/2012
Pedro Quaresma	› Re: [Thedu] EPTCS: THedu'11 Proceedings	21/02/2012
Pedro Quaresma	› [Thedu] THedu12 at CICM 2012	16/01/2012
Walther Neuper	› Re: [Thedu] THedu'12 - submission of a workshop proposal	11/10/2011
Makarius	› Re: [Thedu] THedu'12 - submission of a workshop proposal	10/10/2011
Pedro Quaresma	› Re: [Thedu] THedu'12 - submission of a workshop proposal	10/10/2011
Walther Neuper	› Re: [Thedu] THedu'12 - submission of a workshop proposal	10/10/2011
Pedro Quaresma	› [Thedu] Call for IJCAR 2012 Satellite Events	07/10/2011
Pedro Quaresma	› [Thedu] CICM 2012 - Call for Workshop Proposals	07/10/2011
Pedro Quaresma	› [Thedu] THedu'12 - submission of a workshop proposal	07/10/2011
João Sá Marta	› [Thedu] Teste	16/09/2011
samarta	› [Thedu] Primeira Mensagem	16/09/2011

Mail converted by MHonArc