Re: [Thedu] THedu '12

[Walther Neuper <wneuper@ist.tugraz.at>]

Dear colleagues in the THedu interest group,

THedu does not take place in 2012, so let's try a preview to the future:

Deducation did not go through. The projects arising from successful 
proposals to the same call deserve our observation; I'm sure we shall 
see projects not comparable to Deducation in technical innovation.

The potential of TP components in educational software is an open 
question. The question will be discussed by eduTPS [1] at CADE, a 
conference focusing education ---

--- the discussion seems to deserve a focus on technology as well; my 
personal hope is that THedu will provide a forum for such discussions, 
at CICM and other specific conferences.

Walther

 [1] http://sites.dmi.rs/events/2012/CADGME2012/mformats.html
      Working Group eduTPS will have an own track with 12 contributions.
      
http://sites.dmi.rs/events/2012/CADGME2012/files/working%20group/Theorem-Prover%20based%20Systems.pdf


On 05/19/2012 11:16 AM, Pedro Quaresma de Almeida wrote:
> Em Sábado, 19 de Maio de 2012, Ralph-Johan Back escreveste:
> > [...] the issue of whether we can attract
> > enough papers next year remains. The number of papers is anyway too small
> > to guarantee an acceptable quality for the workshop. Maybe the fact that
> > our Eu-application did not go through affected the number of submissions,
> > or then the number of people working in this area is too small to carry a
> > workshop of their own. The workshop theme is good, in my opinion, but
> > evidently not that popular.
> >
> > Ralph
> [...]
> I agree with you when you say "The workshop theme is good". I feel that we
> should try to pursue with it.
>
> I add a new factor to this year failure. This is an ADG year.
>
> The Automated Deduction in Geometry workshop includes in its PC,
> Francisco Botana, Predrag Janicic, Julien Narboux, Pascal Schreck also from
> our PC... and others have also an intersection with the ADG series (I went
> there in 2006 and 2010).
>
> In conclusion I feel that we can discuss among us (the THedu interest group)
> if we should pursue with this, maybe placing it in between ADGs, i.e., in the
> odd years (ADGs are in the even years)...
>
> I will send, soon, a message to the THedu mailing list trying to begin this
> discussion. We have until October/November to reach a conclusion.