[ThEdu] tool demos in ThEdu'14 ff ?

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

Dear PC members of ThEdu,

Relating the traditional format of ThEdu with the aims of ThEdu led to 
ideas I'd like to discuss with you:

The traditional format is determined by reviewed papers, by oral 
presentation and discussion within a workshop day.

The aims of ThEdu are, in brief, to strive for a continuum of tool 
support for mathematics education, a continuum from expert tools like 
Coq [1] or Isabelle [2] to educational tools; and to accompany tool 
development with educational reflection.

Since we cannot expect many submissions by experts in [1] or [2] (*), 
how can we learn about promises of TP for education ? How can we develop 
imagination for design of TP-based educational software ?

So,
what about tool demonstrations with hands-on experience of the audience?
Demos for ca. 1 hour during the workshop or for longer outside ThEdu ?
Offer such experience to a wider audience, to specifically invited 
students? To teachers participating in a "teachers' day" ?
...

What do you think about these ideas ?

With kind regards,
Walther


PS1: Probably these ideas come late for this year, but not for future years.
PS2: This year I could give a demo following 
http://isabelle.in.tum.de/dist/Isabelle2013-1/doc/prog-prove.pdf


[1] http://coq.inria.fr/
[2] http://isabelle.in.tum.de/index.html

(*) Lack of contributions from TP experts seems due to frustration 
caused by rejection of an extensive FP7 proposal, in the attachment.

EU-EVALUATION-1204.pdf
Description: Binary data