<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Call for papers on Technology Assessment<br>
<br>
**************************************************************************<br>
Computer Mathematics in Education --- Enlightenment or
Incantation ?<br>
**************************************************************************<br>
CME-EI, Workshop at CICM<br>
<a class="moz-txt-link-freetext" href="https://www.cicm-conference.org/2018/cicm.php?event=cme-ei&menu=general">https://www.cicm-conference.org/2018/cicm.php?event=cme-ei&menu=general</a><br>
August 17, 2018, RISC, Hagenberg, Austria<br>
<a class="moz-txt-link-freetext" href="https://www.cicm-conference.org/2018/cicm.php?event=&menu=general">https://www.cicm-conference.org/2018/cicm.php?event=&menu=general</a><br>
**************************************************************************<br>
<br>
Theme<br>
<br>
CICM gathers computer mathematicians, and this workshop questions
the <br>
impact of their doing on education. Computer Mathematics plays an
<br>
important role in education -- does this role tend towards
enlightenment <br>
of students or towards incantation by students ? So this workshop
<br>
adresses what "Intelligent" in the conference's title might mean:
raising <br>
"enlightenment" (a misleading translation from German
"Aufklaerung") or <br>
raising blind trust in technology and using tools for kinds of <br>
"incantation"?<br>
Looking at the state of the art in educational use of mathematics
<br>
software we see: Computer Algebra Systems are used to widen
application <br>
areas of mathematics by uncaging students from tricky calculations
-- and <br>
by the way tend to shift formal mathematics into mystical
incantation. <br>
Dynamic Geometry Systems appeal to students' intuition, experts
advocate <br>
"geometrical proof" -- and by the way bypass the challenge of <br>
demonstrating reliability by mathematical proof. And last not
least a <br>
"new generation of educational mathematics software" based on <br>
technologies from Computer Theorem Proving is announced while
respective <br>
software for general mathematics education still seems
unavailable.<br>
<br>
So this workshop will consider recent developments in Computer <br>
Mathematics, discuss potential impact of respective tools and
reconsider <br>
developers' responsibility for such impact.<br>
<br>
Topics of interest:<br>
<br>
Interesting as discussion of "Enlightenment or Incantation" in
education <br>
might be, it must start from concrete technologies:<br>
* Technologies for explanation, justification and reasoning,<br>
* tools built upon Computer Algebra, Dynamic Geometry, Computer<br>
Theorem Proving, etc,<br>
* case studies: areas of mathematics which particularly benefit
from<br>
mechanical explanation, justification and reasoning,<br>
* evidence and proof in Dynamic Geometry Systems,<br>
* computer Algebra and reasoning,<br>
* automated generation of concrete examples from abstract
concepts,<br>
* SW mechanisms which make mathematical concepts transparent to<br>
users,<br>
* SW as models of mathematics (interactive, complete and<br>
transparent?).<br>
<br>
And from there ask questions like:<br>
* Where does Computer Mathematics tend towards "enlightenment"?<br>
* Where does Computer Mathematics tend towards "incantation"?<br>
* How does increasing use of software tools affect mathematics
education?<br>
* How do software tools affect young people's interest in MINT
studies?<br>
<br>
Important dates:<br>
<br>
Deadline for submissions: 20. May 2018<br>
Notification of acceptance: 17. June 2018<br>
Workshop day: 17. Aug 2018<br>
<br>
Submissions:<br>
<br>
Authors should prepare their papers in one column style of CEUR-WS<br>
<a class="moz-txt-link-freetext" href="http://ceur-ws.org/Vol-XXX/samplestyles/">http://ceur-ws.org/Vol-XXX/samplestyles/</a>. There are two categories
of submissions:<br>
* Regular papers describing developed work with theoretical
results <br>
(upto 15 pages)<br>
* Short papers on experience reports, tools or work in progress
with<br>
preliminary results or just preparations for discussion (upto 6
pages).<br>
Submission in PDF at
<a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=cmeei18">https://easychair.org/conferences/?conf=cmeei18</a>.<br>
<br>
Programme Committee<br>
<br>
Karl-Josef Fuchs, University of Salzburg<br>
Zoltan Kovacs, Private University of Education Diocese Linz<br>
Walther Neuper, Graz University of Technology<br>
Barbara Sabitzer, Johannes Kepler University Linz<br>
Wolfgang Schreiner, Johannes Kepler University Linz<br>
<br>
<br>
<br>
---------------------------------------------------------------
<br>
If you do not wish to receive announcements from the
<br>
Research Institute for Symbolic Computation (RISC),
<br>
please send an e-mail to the following address:
<br>
<a class="moz-txt-link-abbreviated"
href="mailto:secreatry@risc.jku.at">secreatry@risc.jku.at</a>
<br>
<br>
Note: Please check before if the mail was forwarded from other side.
<div class="moz-forward-container">
</div>
</body>
</html>