[Publicity] Computer Mathematics in Education (CFP)

[RISC Secretary]

Call for papers on Technology Assessment

**************************************************************************
    Computer Mathematics in Education --- Enlightenment or Incantation ?
**************************************************************************
                         CME-EI, Workshop at CICM
https://www.cicm-conference.org/2018/cicm.php?event=cme-ei&menu=general
                August 17, 2018, RISC, Hagenberg, Austria
https://www.cicm-conference.org/2018/cicm.php?event=&menu=general
**************************************************************************

Theme

   CICM gathers computer mathematicians, and this workshop questions the
   impact of their doing on education. Computer Mathematics plays an
   important role in education -- does this role tend towards enlightenment
   of students or towards incantation by students ? So this workshop
   adresses what "Intelligent" in the conference's title might mean: 
raising
   "enlightenment" (a misleading translation from German "Aufklaerung") or
   raising blind trust in technology and using tools for kinds of
   "incantation"?
   Looking at the state of the art in educational use of mathematics
   software we see: Computer Algebra Systems are used to widen application
   areas of mathematics by uncaging students from tricky calculations -- 
and
   by the way tend to shift formal mathematics into mystical incantation.
   Dynamic Geometry Systems appeal to students' intuition, experts advocate
   "geometrical proof" -- and by the way bypass the challenge of
   demonstrating reliability by mathematical proof. And last not least a
   "new generation of educational mathematics software" based on
   technologies from Computer Theorem Proving is announced while respective
   software for general mathematics education still seems unavailable.

   So this workshop will consider recent developments in Computer
   Mathematics, discuss potential impact of respective tools and reconsider
   developers' responsibility for such impact.

Topics of interest:

   Interesting as discussion of "Enlightenment or Incantation" in education
   might be, it must start from concrete technologies:
   * Technologies for explanation, justification and reasoning,
   * tools built upon Computer Algebra, Dynamic Geometry, Computer
     Theorem Proving, etc,
   * case studies: areas of mathematics which particularly benefit from
     mechanical explanation, justification and reasoning,
   * evidence and proof in Dynamic Geometry Systems,
   * computer Algebra and reasoning,
   * automated generation of concrete examples from abstract concepts,
   * SW mechanisms which make mathematical concepts transparent to
     users,
   * SW as models of mathematics (interactive, complete and
     transparent?).

   And from there ask questions like:
   * Where does Computer Mathematics tend towards "enlightenment"?
   * Where does Computer Mathematics tend towards "incantation"?
   * How does increasing use of software tools affect mathematics education?
   * How do software tools affect young people's interest in MINT studies?

Important dates:

   Deadline for submissions:    20. May 2018
   Notification of acceptance:  17. June 2018
   Workshop day:                17. Aug 2018

Submissions:

   Authors should prepare their papers in one column style of CEUR-WS
   http://ceur-ws.org/Vol-XXX/samplestyles/. There are two categories of 
submissions:
   * Regular papers describing developed work with theoretical results
     (upto 15 pages)
   * Short papers on experience reports, tools or work in progress with
     preliminary results or just preparations for discussion (upto 6 pages).
   Submission in PDF at https://easychair.org/conferences/?conf=cmeei18.

Programme Committee

   Karl-Josef Fuchs, University of Salzburg
   Zoltan Kovacs, Private University of Education Diocese Linz
   Walther Neuper, Graz University of Technology
   Barbara Sabitzer, Johannes Kepler University Linz
   Wolfgang Schreiner, Johannes Kepler University Linz



---------------------------------------------------------------
If you do not wish to receive announcements from the
Research Institute for Symbolic Computation (RISC),
please send an e-mail to the following address:
secreatry at risc.jku.at

Note: Please check before if the mail was forwarded from other side.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserver.risc.jku.at/pipermail/publicity/attachments/20180413/d256e161/attachment.htm>
-------------- next part --------------
%:wrap=soft:maxLineLen=75:
Call for papers on Technology Assessment

**************************************************************************
   Computer Mathematics in Education --- Enlightenment or Incantation ?
**************************************************************************
                        CME-EI, Workshop at CICM
  https://www.cicm-conference.org/2018/cicm.php?event=cme-ei&menu=general
               August 17, 2018, RISC, Hagenberg, Austria
    https://www.cicm-conference.org/2018/cicm.php?event=&menu=general
**************************************************************************

Theme

  CICM gathers computer mathematicians, and this workshop questions the 
  impact of their doing on education. Computer Mathematics plays an 
  important role in education -- does this role tend towards enlightenment 
  of students or towards incantation by students ? So this workshop 
  adresses what "Intelligent" in the conference's title might mean: raising 
  "enlightenment" (a misleading translation from German "Aufklaerung") or 
  raising blind trust in technology and using tools for kinds of 
  "incantation"?
  Looking at the state of the art in educational use of mathematics 
  software we see: Computer Algebra Systems are used to widen application 
  areas of mathematics by uncaging students from tricky calculations -- and 
  by the way tend to shift formal mathematics into mystical incantation. 
  Dynamic Geometry Systems appeal to students' intuition, experts advocate 
  "geometrical proof" -- and by the way bypass the challenge of 
  demonstrating reliability by mathematical proof. And last not least a 
  "new generation of educational mathematics software" based on 
  technologies from Computer Theorem Proving is announced while respective 
  software for general mathematics education still seems unavailable.

  So this workshop will consider recent developments in Computer 
  Mathematics, discuss potential impact of respective tools and reconsider 
  developers' responsibility for such impact.

Topics of interest:

  Interesting as discussion of "Enlightenment or Incantation" in education 
  might be, it must start from concrete technologies:
  * Technologies for explanation, justification and reasoning,
  * tools built upon Computer Algebra, Dynamic Geometry, Computer
    Theorem Proving, etc,
  * case studies: areas of mathematics which particularly benefit from
    mechanical explanation, justification and reasoning,
  * evidence and proof in Dynamic Geometry Systems,
  * computer Algebra and reasoning,
  * automated generation of concrete examples from abstract concepts,
  * SW mechanisms which make mathematical concepts transparent to
    users,
  * SW as models of mathematics (interactive, complete and
    transparent?).

  And from there ask questions like:
  * Where does Computer Mathematics tend towards "enlightenment"?
  * Where does Computer Mathematics tend towards "incantation"?
  * How does increasing use of software tools affect mathematics education?
  * How do software tools affect young people's interest in MINT studies?

Important dates:
  
  Deadline for submissions:    20. May 2018
  Notification of acceptance:  17. June 2018
  Workshop day:                17. Aug 2018

Submissions:

  Authors should prepare their papers in one column style of CEUR-WS
  http://ceur-ws.org/Vol-XXX/samplestyles/. There are two categories of submissions:
  * Regular papers describing developed work with theoretical results 
    (upto 15 pages)
  * Short papers on experience reports, tools or work in progress with
    preliminary results or just preparations for discussion (upto 6 pages).
  Submission in PDF at https://easychair.org/conferences/?conf=cmeei18.

Programme Committee

  Karl-Josef Fuchs, University of Salzburg
  Zoltan Kovacs, Private University of Education Diocese Linz
  Walther Neuper, Graz University of Technology
  Barbara Sabitzer, Johannes Kepler University Linz
  Wolfgang Schreiner, Johannes Kepler University Linz