Re: [ThEdu] tool demos in ThEdu'14 ff ?

[Pedro Quaresma <pedro@mat.uc.pt>]

A Sexta, 29 de Novembro de 2013 17:38:54 Walther Neuper escreveu:

> 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:

>

 

I agree with this.It would be a "call for abstracts and tool demonstrations".

 

Apart from a small set of short presentations we could have the demos/teachers participations...

 

Given the current isi-scopus-whatever grading scenarios, the workshops like ThEdu, co-located with major events (CICM and ADG this year), should be a place to exchange ideas (wild ideas!?) and to show what the community is doing in a more concrete way.

 

> 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.

 

---//---

CICM 2014, 7-11 July 2014, University of Coimbra, Portugal.

ADG 2014, 9-11 July 2014, University of Coimbra, Portugal.

---//---

--

At\'e breve;Deica Logo;\`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