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

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

On 11/29/2013 07:36 PM, Pedro Quaresma wrote:

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

with "tool demonstrations" and tutorials (hands-on experience of the audience seems essential,  but dist)

 

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.

First the "wild ideas" need clarification w.r.t. organisation: ThEdu, hosted by CICM, will follow ISI/Scopus rules, of course. For me a maximum of a "wild idea" is to have an additional tutorial for Portugese mathematicians and computer scientists somehow like the one [0a] which brought about a significant step forward at Belgrade [0b] ---
--- for Belgrade the money came from EU for the Balkan countries in 2008, now there might be EU money to face current brain drain in Portugal.

Do you think, attempts towards such a tutorial could still be manageable ?

[0a] http://www21.in.tum.de/~ballarin/belgrade08-tut/
[0b..] http://argo.matf.bg.ac.rs/events/2008/ftpa2008/ftpa2008.html
[..0g] http://argo.matf.bg.ac.rs/events/2013/pdp2013/pdp2013.html

 

> 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

-- 
------------------------------------------------------------------------
Walther Neuper                          Mailto: neuper@ist.tugraz.at
Institute for Software Technology          Tel: +43-(0)316/873-5728
University of Technology                   Fax: +43-(0)316/873-5706
Graz, Austria                             Home: www.ist.tugraz.at/neuper
------------------------------------------------------------------------